Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
From MaRDI portal
Publication:3522062
DOI10.1007/978-3-540-69166-2_5zbMath1149.68348OpenAlexW1563015875MaRDI QIDQ3522062
Clark Barrett, Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi
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_5
Related Items (1)
Uses Software
This page was built for publication: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors