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

DOI10.1016/S1571-0661(03)50009-3MaRDI QIDQ276481zbMATH OpenFDO

Authors Guy McCusker

Publication date 3 May 2016

zbMATH Keywords

full abstractiongame semanticsAlgol-like languagesbad variablesconservative extensionobservational equivalence

Mathematics Subject Classification ID

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

Recommendations

• Bad Variables Under Control
• Full abstraction for idealized Algol with passive expressions
• scientific article; zbMATH DE number 1231510
• Note on Algol and conservatively extending functional programming
• scientific article; zbMATH DE number 1058947

Cited in

(12)

• Games for complexity of second-order call-by-name programs
• Algorithmic nominal game semantics
• Global state considered helpful
• Full abstraction without synchronization primitives
• A game semantics of names and pointers
• Decidability and syntactic control of interference
• An algebraic account of references in game semantics
• Disentangling parallelism and interference in game semantics
• Bad Variables Under Control
• Full Abstraction for Reduced ML
• Reasoning about multi-stage programs
• Full abstraction for Reduced ML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276481)