Provably Correct Compiler Development and Implementation

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm. Provably Correct Compiler Development and Implementation. In Uwe Kastens, Peter Pfahler, editors, Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings. Volume 641 of Lecture Notes in Computer Science, pages 141-155, Springer, 1992.

@inproceedings{ButhBFKLLM92,
  title = {Provably Correct Compiler Development and Implementation},
  author = {Bettina Buth and Karl-Heinz Buth and Martin Fränzle and Burghard von Karger and Yassine Lakhnech and Hans Langmaack and Markus Müller-Olm},
  year = {1992},
  tags = {compiler},
  researchr = {https://researchr.org/publication/ButhBFKLLM92},
  cites = {0},
  citedby = {0},
  pages = {141-155},
  booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings},
  editor = {Uwe Kastens and Peter Pfahler},
  volume = {641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55984-1},
}