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.)