Automatic Construction of Sparse Data Flow Evaluation Graphs (1991)

by J-D Choi, R Cytron, J Ferrante
Venue:In Symposium on Principles of Programming Languages (POPL