A Graph Model for Imperative Computation

DOI10.2168/LMCS-6(1:2)2010zbMath1189.68074OpenAlexW3100138022MaRDI QIDQ5190322

Guy McCusker

Publication date: 15 March 2010

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

Full work available at URL: https://doi.org/10.2168/lmcs-6(1:2)2010

zbMATH Keywords

denotational semanticslocal statesemantics of programming languages

Mathematics Subject Classification ID

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

Related Items (2)

Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

This page was built for publication: A Graph Model for Imperative Computation