Similar Items: A Graph Model for Imperative Computation
- A Step-indexed Semantics of Imperative Objects
- Relating Functional and Imperative Session Types
- Computable Approximations of Semicomputable Graphs
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- Relational Graph Models at Work
- FO Model Checking of Interval Graphs