A Theory of Program Modifications

Ganesan Ramalingam, Thomas W. Reps. A Theory of Program Modifications. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt. Volume 494 of Lecture Notes in Computer Science, pages 137-152, Springer, 1991.

@inproceedings{RamalingamR91:0,
  title = {A Theory of Program Modifications},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1991},
  researchr = {https://researchr.org/publication/RamalingamR91%3A0},
  cites = {0},
  citedby = {0},
  pages = {137-152},
  booktitle = {TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt},
  editor = {Samson Abramsky and T. S. E. Maibaum},
  volume = {494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53981-6},
}