Programming Languages: Formal Development of Interpreters and Compilers

Dines Bjørner. Programming Languages: Formal Development of Interpreters and Compilers. In E. Morlet, D. Ribbens, editors, International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint). pages 1-21, North-Holland, 1977.

@inproceedings{Bjorner77,
  title = {Programming Languages: Formal Development of Interpreters and Compilers},
  author = {Dines Bjørner},
  year = {1977},
  tags = {programming languages, interpreter, compiler, programming},
  researchr = {https://researchr.org/publication/Bjorner77},
  cites = {0},
  citedby = {0},
  pages = {1-21},
  booktitle = {International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint)},
  editor = {E. Morlet and D. Ribbens},
  publisher = {North-Holland},
  isbn = {0-7204-0741-9},
}