NASA NTRS · 20030107285
Abstract Interpretation: A Methodology for the Rapid Development of Provably Correct Static Analyzers
Abstract
This paper presents, in viewgraph form, a description of abstract interpretation. The topics include: 1) Abstract Interpretation; 2) Methodology; 3) Concrete semantics; 4) Static analysis in real life; 5) Partitioning; and 6) Approximation.
Keep this discovery
Explore connections, maps & timelines
Venet, Arnaud, Brat, Guillaume. 2003-01-01. Abstract Interpretation: A Methodology for the Rapid Development of Provably Correct Static Analyzers. https://ntrs.nasa.gov/citations/20030107285
Cite the original work for its findings. Save a collection to share your selection of sources.