An interval-based approach to exhaustive and incremental interprocedural data-flow analysis (1990)

by M Burke
Venue:ACM Trans. Program. Lang. Syst