Accurate Binding-Time Analysis for Imperative Languages (1997)

by L Hornof, J Noye
Venue:Flow, Context and Return Sensitivity. In PEPM’97