scientific article; zbMATH DE number 431769

MaRDI QIDQ3138545zbMATH OpenFDO

Authors Robert D. Tennent, Peter W. O'Hearn

Publication date 11 November 1993

zbMATH Keywords

Algol-like languagesabstract semanticslocal-variable declarations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Cited in

(11)

• Monoidal indeterminates and categories of possible worlds
• Relating two semantics of locally scoped names
• 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
• Local variable scoping and Kleene algebra with tests
• Full abstraction for the second order subset of an Algol-like language
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• scientific article; zbMATH DE number 5589211 (Why is no real title available?)
• Semantics for local computational effects
• Local local reasoning: a BI-hyperdoctrine for full ground store

This page was built for publication:

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