• Making Abstract Interpretation...

Treffer: Making Abstract Interpretations Complete.

Title:
Making Abstract Interpretations Complete.
Authors:
Giacobazzi, Roberto, Ranzato, Francesco
Source:
Journal of the ACM. Mar2000, Vol. 47 Issue 2, p361. 56p. 5 Diagrams.
Subject Terms:
*MATHEMATICAL models, ABSTRACT data types (Computer science), LATTICE theory
Database:
Business Source Premier

Weitere Informationen

Discusses the importance of completeness in abstract interpretations. Synopsis of abstract interpretation basics; Problems in achieving completeness for an abstract interpretation; Lattice of abstract interpretations; Applications of the findings; Conclusion.