Executable Specifications for Language Implementation

Uwe Kastens. Executable Specifications for Language Implementation. In Maurice Bruynooghe, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Volume 714 of Lecture Notes in Computer Science, pages 1-11, Springer, 1993.

@inproceedings{Kastens93,
  title = {Executable Specifications for Language Implementation},
  author = {Uwe Kastens},
  year = {1993},
  researchr = {https://researchr.org/publication/Kastens93},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
  editor = {Maurice Bruynooghe and Jaan Penjam},
  volume = {714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57186-8},
}