"A Toolkit for Constructing Type- and Constraint-Based Program Analyses."

Alexander Aiken et al. (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics