Heap Decomposition for Concurrent Shape Analysis
From MaRDI portal
Publication:3522083
DOI10.1007/978-3-540-69166-2_24zbMath1149.68358MaRDI QIDQ3522083
Josh Berdine, Tal Lev-Ami, Mooly Sagiv, Roman Manevich, G. Ramalingam
Publication date: 28 August 2008
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69166-2_24
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software