Statically Inferring Complex Heap, Array, and Numeric Invariants

DOI10.1007/978-3-642-15769-1_6zbMath1306.68032OpenAlexW1528617049MaRDI QIDQ4930717

Bill McCloskey, Mooly Sagiv, Thomas W. Reps

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_6

Mathematics Subject Classification ID

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

Related Items (2)

A generic framework for heap and value analyses of object-oriented programming languages ⋮ Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data

Uses Software

• CSSV

This page was built for publication: Statically Inferring Complex Heap, Array, and Numeric Invariants