Syntactic control of interference revisited

DOI10.1016/S0304-3975(98)00359-4zbMath0956.68082MaRDI QIDQ1575885

Robert D. Tennent, Peter W. O'Hearn, A. John Power, Makoto Takeyama

Publication date: 23 August 2000

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

zbMATH Keywords

denotational semanticstype systemaliasinginterference control

Mathematics Subject Classification ID

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

Related Items (12)

The regular-language semantics of second-order idealized ALGOL ⋮ Geometry of Synthesis II: From Games to Delay-Insensitive Circuits ⋮ Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Decidability and syntactic control of interference ⋮ Restriction categories. I: Categories of partial maps ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Categorical Models of Syntactic Control of Intereference Revisited, Revisited ⋮ Objects and classes in Algol-like languages

This page was built for publication: Syntactic control of interference revisited