On the semantics of the bad-variable constructor in Algol-like languages

DOI10.1016/S1571-0661(03)50009-3zbMath1337.68053MaRDI QIDQ276481

Guy McCusker

Publication date: 3 May 2016

zbMATH Keywords

full abstractionconservative extensiongame semanticsAlgol-like languagesbad variablesobservational equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (10)

Full Abstraction Without Synchronization Primitives ⋮ Full abstraction for Reduced ML ⋮ Reasoning about multi-stage programs ⋮ Algorithmic Nominal Game Semantics ⋮ A game semantics of names and pointers ⋮ Global State Considered Helpful ⋮ Decidability and syntactic control of interference ⋮ Full Abstraction for Reduced ML ⋮ An Algebraic Account of References in Game Semantics ⋮ Games for complexity of second-order call-by-name programs

This page was built for publication: On the semantics of the bad-variable constructor in Algol-like languages