home > publications > Invariance

Publications tagged "Invariance"

Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
Show all.. Download:

2015

  • Martin Avanzini and Ugo Dal Lago. “On Sharing, Memoization, and Polynomial Time”. 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany, volume 30 of LIPIcs, pages 62–75, (2015). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

2013

2010

  • Martin Avanzini and Georg Moser. “Complexity Analysis by Graph Rewriting”. Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, volume 6009 of Lecture Notes in Computer Science, pages 257–271, (2010). Springer.

  • Martin Avanzini and Georg Moser. “Closing the Gap Between Runtime Complexity and Polytime Computability”. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, volume 6 of LIPIcs, pages 33–48, (2010). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.