Bad Variables Under Control

DOI10.1007/978-3-540-74915-8_41MaRDI QIDQ3608438zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)