The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages (1990)

by R A Ballance, A B Maccabe, K J Ottenstein
Venue:In ACM SIGPLAN PLDI