Abstract models of storage

DOI10.1023/A:1010022312623zbMath0949.68536MaRDI QIDQ1566883

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)

Related Items

Monoidal indeterminates and categories of possible worlds, 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