Program analysis using mixed term and set constraints (0)

by Manuel Fähndrich, Alexander Aiken
Venue:Static Analysis, 4th International Symposium, SAS ’97