A toolkit for constructing type- and constraint-based program analyses (1998)

by A Aiken, M Fändrich, J S Foster, Z Su
Venue:In Workshop on Types in Compilation, Kyoto