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

by Vugranam C. Sreedhar, Guang R. Gao, Yong-fong Lee
Venue:ACM SIGPLAN CONF. ON PLDI