home > publications > Interpretations

Publications tagged "Interpretations"

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:

2020

2018

  • Martin Avanzini, Ugo Dal Lago and Akihisa Yamada. “On Probabilistic Term Rewriting”. Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, volume 10818 of Lecture Notes in Computer Science, pages 132–148, (2018). Springer.

2016

  • Martin Avanzini and Georg Moser. “Complexity of Acyclic Term Graph Rewriting”. 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, volume 52 of LIPIcs, pages 10:1–10:18, (2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.