Publications tagged "Program Analysis"
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
2016
-
M. Avanzini and G. Moser and M. Schaper. “TcT: Tyrolean Complexity Tool”. (Preprint). Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 9636 of Lecture Notes in Computer Science, pages 407–423, 2016. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.