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

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