Abstracting Allocation
From MaRDI portal
Publication:3613337
DOI10.1007/11874683_12zbMath1225.68109OpenAlexW2914920194MaRDI QIDQ3613337
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11874683_12
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Blaming the client: on data refinement in the presence of pointers ⋮ Specification patterns for reasoning about recursion through the store ⋮ Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
Uses Software
This page was built for publication: Abstracting Allocation
