A Relational Abstraction for Functions
B. Jeannet, D. Gopan, and T. Reps
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.
(Click here to access the paper:
PostScript,
PDF;
(c) Springer-Verlag.)