A Step-indexed Semantics of Imperative Objects

DOI10.2168/LMCS-5(4:2)2009MaRDI QIDQ3401137zbMATH OpenOpenAlexFDO

Authors Cătălin Hriţcu, Jan Schwinghammer

Publication date 28 January 2010

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-5(4:2)2009

zbMATH Keywords

formal calculiobjectsprogramming language semanticstype systems

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects
• An imperative object calculus
• Imperative object-based calculi in co-inductive type theories
• Programming Languages and Systems
• Difunctorial semantics of object calculus
• scientific article; zbMATH DE number 3997138
• Compilation and equivalence of imperative objects
• Pretty-big-step semantics
• scientific article; zbMATH DE number 1042220
• Denotational semantics for a program logic of objects

Cited in

(3)

• A step-indexed model of substructural state
• Step indexed realizability semantics for a call-by-value language based on basic combinatorial objects
• An imperative object calculus

This page was built for publication: A Step-indexed Semantics of Imperative Objects

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