Introduction to set constraint-based program analysis (1999)

by A Aiken
Venue:Sci. Comput. Programming