A model for syntactic control of interference

DOI10.1017/S0960129500000311MaRDI QIDQ4286528zbMATH OpenOpenAlexFDO

Authors 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

imperative programming languageinterferenceintuitionistic linear logicsemantic categorytensor producttyped \(\lambda\)-calculus

Mathematics Subject Classification ID

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

Recommendations

• Syntactic control of interference revisited
• scientific article; zbMATH DE number 1058947
• scientific article; zbMATH DE number 517042
• scientific article; zbMATH DE number 1231472
• Decidability and syntactic control of interference

Cites work

• A new type assignment for λ-terms
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Inheritance as implicit coercion
• Linear logic
• Monitors
• Semantical analysis of specification logic
• Semantics of interference control
• The linear abstract machine

Cited in

(13)

• The essence of parallel Algol.
• Syntactic control of interference revisited
• Objects and classes in Algol-like languages
• Decidability and syntactic control of interference
• Automata-theoretic semantics of idealized Algol with passive expressions
• Categorical models of syntactic control of intereference revisited, revisited
• scientific article; zbMATH DE number 1231472 (Why is no real title available?)
• scientific article; zbMATH DE number 517042 (Why is no real title available?)
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• scientific article; zbMATH DE number 1406027 (Why is no real title available?)
• A syntactic model of mutation and aliasing
• A nominal approach to probabilistic separation logic
• Semantics of interference control

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

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