A model for syntactic control of interference

DOI10.1017/S0960129500000311zbMath0802.68076OpenAlexW2141796169MaRDI QIDQ4286528

Peter W. O'Hearn

Publication date: 27 March 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000311

zbMATH Keywords

interferencetensor producttyped \(\lambda\)-calculusintuitionistic linear logicimperative programming languagesemantic category

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Automata-theoretic semantics of idealized Algol with passive expressions ⋮ The essence of parallel Algol. ⋮ Objects and classes in Algol-like languages

Cites Work

• Linear logic
• Semantics of interference control
• Semantical analysis of specification logic
• The linear abstract machine
• Inheritance as implicit coercion
• A new type assignment for λ-terms
• Monitors
• Unnamed Item

This page was built for publication: A model for syntactic control of interference