A Unified Memory Model for Pointers
From MaRDI portal
Publication:5387859
DOI10.1007/11591191_33zbMath1143.68464OpenAlexW2155836586MaRDI QIDQ5387859
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_33
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Formal memory models for the verification of low-level operating-system code ⋮ Verifying correctness of persistent concurrent data structures: a sound and complete method ⋮ Concerned with the unprivileged: user programs in kernel refinement ⋮ Operating system verification---an overview
Uses Software
This page was built for publication: A Unified Memory Model for Pointers
