Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.

Luke Hornof, Jacques Noy

Browse the full PEPM paper archive.