Semantic Foundations of Binding Time Analysis for Imperative Programs.

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

Browse the full PEPM paper archive.