Publications tagged "Certification"
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
2015
-
M. Avanzini and C. Sternagel and R. Thiemann. “Certification of Complexity Proofs using CeTA”. Proceedings of the 26th International Conference on Rewriting Techniques and Applications, volume 36 of Leibnitz International Proceedings in Informatics, pages 23–39, 2015. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.