Bisimulations for Untyped Imperative Objects
Abstract elided by the publisher.
Related papers
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- A bisimulation for dynamic sealing POPL 2004
- A complete, co-inductive syntactic theory of sequential control and state POPL 2007
- Compilation and Equivalence of Imperative Objects JFP 1999
- Transitioning from structural to nominal code with efficient gradual typing OOPSLA 2021
- An Imperative, First-Order Calculus with Object Extension ECOOP 1998
- Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects APLAS 2015
- Integrating typed and untyped code in a scripting language POPL 2010