A new framework for exhaustive and incremental data flow analysis using DJ graphs (1996)

by V SREEDHAR, G R GAO, Y-F LEE
Venue:In Proceedings of the ACM SIGPLAN Conf. on PLDI, ACM