Publications tagged "ICCT"
Automation CPS Certification Complexity Analysis Constraint Systems Functional Programming Graph Rewriting Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Runtime Complexity Analysis Sized-Types TCT Term Rewriting Termination Types
2008
-
M. Avanzini and G. Moser and A. Schnabl. “Automated Implicit Computational Complexity Analysis (System Description)”. (Preprint). Proceedings of the 4th International Joint Conference on Automated Reasoning, volume 5195 of Lecture Notes in Computer Science, pages 132-138, 2008. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.