The Interprocedural Coincidence Theorem
Abstract elided by the publisher.
Related papers
- On the computation of interprocedural weak control closure CC 2022
- Classical Notions of Computation and the Hasegawa-Thielecke Theorem POPL 2026
- Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs TOPLAS 1996
- Why Are Proofs Relevant in Proof-Relevant Models? POPL 2023
- Bisimulation as path type for guarded recursive types POPL 2019
- Compilation and Equivalence of Imperative Objects JFP 1999
- A General Fine-Grained Reduction Theory for Effect Handlers ICFP 2023
- Explicit Polymorphism and CPS Conversion POPL 1993