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

by A Aiken, M Fähndrich, J S Foster, Z Su
Venue:In Types in Compilation