Publications tagged "Imperative"
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
2023
-
Martin Avanzini, Georg Moser and Michael Schaper. “Automated Expected Value Analysis of Recursive Programs”. Proc. ACM Program. Lang. 7 (PLDI): 1050–1072 (2023)
2020
-
Martin Avanzini, Georg Moser and Michael Schaper. “A modular cost analysis for probabilistic programs”. Proc. ACM Program. Lang. 4 (OOPSLA): 172:1–172:30 (2020)