Semantics-Based Program Integration

Thomas W. Reps, Susan Horwitz. Semantics-Based Program Integration. In Harald Ganzinger, editor, ESOP 88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 300 of Lecture Notes in Computer Science, pages 1-20, Springer, 1988.

@inproceedings{RepsH88,
  title = {Semantics-Based Program Integration},
  author = {Thomas W. Reps and Susan Horwitz},
  year = {1988},
  tags = {semantics, rule-based},
  researchr = {https://researchr.org/publication/RepsH88},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {ESOP  88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings},
  editor = {Harald Ganzinger},
  volume = {300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19027-9},
}