Syntactic control of interference revisited

DOI10.1016/S0304-3975(98)00359-4MaRDI QIDQ1575885zbMATH OpenFDO

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

Publication date 23 August 2000

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

zbMATH Keywords

aliasingdenotational semanticstype systeminterference control

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231472
• A model for syntactic control of interference
• scientific article; zbMATH DE number 517042

Cited in

(17)

• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• Monoidal indeterminates and categories of possible worlds
• Categorical models of syntactic control of intereference revisited, revisited
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Monoidal indeterminates and categories of possible worlds
• Objects and classes in Algol-like languages
• Restriction categories. I: Categories of partial maps
• Effect algebras, presheaves, non-locality and contextuality
• scientific article; zbMATH DE number 517042 (Why is no real title available?)
• Decidability and syntactic control of interference
• The far side of the cube. An elementary introduction to game semantics
• Two cotensors in one: presentations of algebraic theories for local state and fresh names
• Semantics of interference control
• A model for syntactic control of interference
• The regular-language semantics of second-order idealized ALGOL
• Modelling local variables: possible worlds and object spaces
• Geometry of synthesis. II: From games to delay-insensitive circuits

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

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