Abstract models of storage

DOI10.1023/A:1010022312623MaRDI QIDQ1566883zbMATH OpenFDO

Authors Robert D. Tennent, Dan R. Ghica

Publication date 4 June 2000

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

semantic modelsprocedural languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited in

(5)

• Modular verification of procedure equivalence in the presence of memory allocation
• Formal verification of a C-like memory model and its uses for verifying program transformations
• Monoidal indeterminates and categories of possible worlds
• The far side of the cube. An elementary introduction to game semantics
• The Cooper storage idiom

This page was built for publication: Abstract models of storage

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