Modelling local variables: possible worlds and object spaces

DOI10.1016/J.ENTCS.2010.08.023MaRDI QIDQ3178266zbMATH OpenOpenAlexFDO

Authors Guy McCusker, John Power

Publication date 8 July 2016

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

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.023

zbMATH Keywords

Algol-like languagescategory theorydenotational semanticsimperative programminglocal statepossible worldsprogramming languages

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Objects, interference, and the Yoneda embedding
• Full abstraction for the second order subset of an Algol-like language
• scientific article; zbMATH DE number 1231473
• scientific article; zbMATH DE number 194122
• scientific article; zbMATH DE number 3999254

Cites work

• A category theoretic formulation for Engeler-style models of the untyped -calculus
• A graph model for imperative computation
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1231473 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Syntactic control of interference revisited

Cited in

(3)

• Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates
• scientific article; zbMATH DE number 1231473 (Why is no real title available?)
• A graph model for imperative computation

This page was built for publication: Modelling local variables: possible worlds and object spaces

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