Mechanizing Proofs of Computation Equivalence
No abstract available.
Related papers
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- A Mechanized Semantics for Dataflow Circuits OOPSLA 2025
- Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications POPL 2026
- Towards a mechanized metatheory of standard ML POPL 2007
- Reasoning About TSO Programs Using Reduction and Abstraction CAV 2018
- A Classical Realizability Model for a Semantical Value Restriction ESOP 2016
- A fine-grained computational interpretation of Girard's intuitionistic proof-nets POPL 2022