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 abstract domains for functions 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.)