Automatic Inference of Heap Properties Exploiting Value Domains

DOI10.1007/978-3-662-46081-8_22zbMath1432.68072OpenAlexW2133030258MaRDI QIDQ5172654

Pietro Ferrara, Peter Müller, Milos Novacek

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_22

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Automatic Inference of Heap Properties Exploiting Value Domains