Shape Analysis by Graph Decomposition

DOI10.1007/978-3-540-71209-1_3zbMath1186.68115OpenAlexW2160896531MaRDI QIDQ5758098

Josh Berdine, Mooly Sagiv, G. Ramalingam, Byron Cook, Roman Manevich

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_3

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Shape Analysis by Graph Decomposition