Abstract models of storage
From MaRDI portal
Publication:1566883
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)
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