On the semantics of the bad-variable constructor in Algol-like languages
From MaRDI portal
Publication:276481
DOI10.1016/S1571-0661(03)50009-3zbMath1337.68053MaRDI QIDQ276481
Publication date: 3 May 2016
full abstraction; conservative extension; game semantics; Algol-like languages; bad variables; observational equivalence
Related Items
Reasoning about multi-stage programs, Global State Considered Helpful, Full abstraction for Reduced ML, A game semantics of names and pointers, Decidability and syntactic control of interference, Games for complexity of second-order call-by-name programs, An Algebraic Account of References in Game Semantics, Algorithmic Nominal Game Semantics, Full Abstraction Without Synchronization Primitives, Full Abstraction for Reduced ML