Heap Decomposition for Concurrent Shape Analysis
From MaRDI portal
Publication:3522083
DOI10.1007/978-3-540-69166-2_24zbMath1149.68358OpenAlexW2135057262MaRDI 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
Related Items (2)
Uses Software
This page was built for publication: Heap Decomposition for Concurrent Shape Analysis