A Shape Analysis for Non-linear Data Structures

DOI10.1007/978-3-642-15769-1_13zbMath1306.68021OpenAlexW1525157992MaRDI QIDQ4930728

Lucas Rearte, Javier Blanco, Renato Cherini

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A divide-and-conquer approach for analysing overlaid data structures

Uses Software

• VeriFast
• TVLA
• jStar

This page was built for publication: A Shape Analysis for Non-linear Data Structures