Bad Variables Under Control

DOI10.1007/978-3-540-74915-8_41zbMATH Open1179.68020OpenAlexW1541178342MaRDI QIDQ3608438FDOQ3608438

Authors: Andrzej S. Murawski 

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_41

Recommendations

• On the semantics of the bad-variable constructor in Algol-like languages
• Full abstraction for idealized Algol with passive expressions
• scientific article; zbMATH DE number 1231510
• Foundations of Software Science and Computation Structures
• A Game Semantics of Idealized CSP

Mathematics Subject Classification ID

Theory of programming languages (68N15) Applications of game theory (91A80)

Cited In (7)

• On the semantics of the bad-variable constructor in Algol-like languages
• Global state considered helpful
• Full abstraction without synchronization primitives
• An algebraic account of references in game semantics
• Disentangling parallelism and interference in game semantics
• Full Abstraction for Reduced ML
• Full abstraction for Reduced ML

This page was built for publication: Bad Variables Under Control

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