home > publications > Interpretations

Publications tagged "Interpretations"

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:

2019

  • M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Science of Computer Programming 185:102338, 2019. Elsevier. © Creative Commons License - ND.

2018

  • M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Proceedings of the 14th International Symposium on Functional and Logic Programming, volume 10818 of Lecture Notes in Computer Science, pages 132–148, 2018. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.

2016

  • M. Avanzini and G. Moser. “Complexity of Acyclic Term Graph Rewriting”. Proceedings of the 1th International Conference on Formal Structures for Computation and Deduction, volume 52 of Leibnitz International Proceedings in Informatics, pages 10:1–10:18, 2016. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.