Publications tagged "Relational Logic"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Formalization Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Isabelle/HOL Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Relational Logic Rewriting Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2025
-
Martin Avanzini, Gilles Barthe, Davide Davoli and Benjamin Grégoire. “A Quantitative Probabilistic Relational Hoare Logic”. Proc. ACM Program. Lang. 9 (POPL): 1167–1195 (2025)