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