home > publications > Invariance

Publications tagged "Invariance"

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
Show all.. Download:

2015

  • M. Avanzini and U. Dal Lago. “On Sharing, Memoization, and Polynomial Time”. Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, volume 30 of Leibnitz International Proceedings in Informatics, pages 62–75, 2015. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.

2013

2010

  • M. Avanzini and G. Moser. “Complexity Analysis by Graph Rewriting”. (Preprint). Proceedings of the 10th International Symposium on Functional and Logic Programming, volume 6009 of Lecture Notes in Computer Science, pages 257–271, 2010. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

  • M. Avanzini and G.Moser. “Closing the Gap Between Runtime Complexity and Polytime Computability”. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, volume 6 of Leibnitz International Proceedings in Informatics, pages 33–48, 2010. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.