Publications tagged "Termination"
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
2020
-
Martin Avanzini, Ugo Dal Lago and Akihisa Yamada. “On probabilistic term rewriting”. Sci. Comput. Program. 185 (2020)
2019
-
Martin Avanzini, Ugo Dal Lago and Alexis Ghyselen. “Type-Based Complexity Analysis of Probabilistic Functional Programs”. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pages 1–13, (2019). IEEE.
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.