The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages (1990)

by K J Ottenstein, R A Ballance, A B Maccabe
Venue:In Proceedings of the Conference on Programming Language Design and Implementation PLDI