A Step-indexed Semantics of Imperative Objects

DOI10.2168/LMCS-5(4:2)2009zbMath1187.68136OpenAlexW2023742063MaRDI QIDQ3401137

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

type systemsprogramming language semanticsobjectsformal calculi

Mathematics Subject Classification ID

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

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