NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Abstract Interpretation: A Methodology for the Rapid Development of Provably Correct Static AnalyzersThis 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.
Document ID
20030107285
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Venet, Arnaud (Kestrel Technology, LLC Moffett Field, CA, United States)
Brat, Guillaume
Date Acquired
August 21, 2013
Publication Date
January 1, 2003
Subject Category
Numerical Analysis
Meeting Information
Meeting: Automated Software Engineering Conference
Location: Montreal
Country: Canada
Start Date: October 6, 2003
End Date: October 10, 2003
Sponsors: Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available