Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck. Semantic Foundations of Binding Time Analysis for Imperative Programs. In PEPM. pages 100-110, 1995.
@inproceedings{DasRH95, title = {Semantic Foundations of Binding Time Analysis for Imperative Programs}, author = {Manuvir Das and Thomas W. Reps and Pascal Van Hentenryck}, year = {1995}, tags = {program analysis, analysis, Pascal}, researchr = {https://researchr.org/publication/DasRH95}, cites = {0}, citedby = {0}, pages = {100-110}, booktitle = {PEPM}, }