Introduction to set constraint-based program analysis (1999)

by Alexander Aiken
Venue:Science of Computer Programming