Semantic Foundations of Binding Time Analysis for Imperative Programs

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},
}