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

by K Ottenstein, R Ballance, A MacCabe
Venue:In PLDI