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)

Full work available at URL https://doi.org/10.1016/S0304-3975(98)00359-4

zbMATH Keywords

aliasingdenotational semanticsinterference controltype system

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

(19)

• Effect algebras, presheaves, non-locality and contextuality
• Objects and classes in Algol-like languages
• The regular-language semantics of second-order idealized ALGOL
• Decidability and syntactic control of interference
• 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
• Geometry of synthesis. II: From games to delay-insensitive circuits
• Modelling local variables: possible worlds and object spaces
• Monoidal indeterminates and categories of possible worlds
• scientific article; zbMATH DE number 1231472 (Why is no real title available?)
• scientific article; zbMATH DE number 517042 (Why is no real title available?)
• A model for syntactic control of interference
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• A syntactic model of mutation and aliasing
• Restriction categories. I: Categories of partial maps
• The far side of the cube. An elementary introduction to game semantics
• Semantics of interference control
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages

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)