2005 | OriginalPaper | Buchkapitel
A Relational Abstraction for Functions
verfasst von : B. Jeannet, D. Gopan, T. Reps
Erschienen in: Static Analysis
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper concerns the abstraction of sets of functions for use in abstract interpretation. The paper gives an overview of existing methods, which are illustrated with applications to shape analysis, and formalizes a new family of
relational
abstract domains that allows sets of functions to be abstracted more precisely than with known approaches, while being still machine-representable.