Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity (1997)

by L Hornof, J Noyé
Venue:In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation