Similar Items: A Step-indexed Semantics of Imperative Objects
- Logical Step-Indexed Logical Relations
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- A Hoare logic for the coinductive trace-based big-step semantics of While
- A Graph Model for Imperative Computation
- Automatic indexation of Cultural Heritage 3D object