Steven Weng-Kiang Tjiang
Stanford Univ., Stanford, CA
Automatic generation of interprocedural data-flow analyzers and optimizers
Journal of Computer Science and Technology