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

by A Aiken, M Fahndrich, J S Foster, Z Su
Venue:In TIC'98: Types in Compilation