A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (1996)

by Vugranam C Sreedhar, Guang R Gao, Yong fong Lee
Venue:In Proceedings of the ACM SIGPLAN ’96 Conference on Programming Language Design and Implementation