A logic-based approach to data flow analysis problems (1998)

by S Sagiv, N Francez, M Rodeh, R Wilhelm
Venue:Acta Inf