A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Néron, Vlad A. Vergu, Augusto Passalaqua, Gabriël D. P. Konat. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. In Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz, editors, Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SLASH '14, Portland, OR, USA, October 20-24, 2014. pages 95-111, ACM, 2014. [doi]

@inproceedings{VisserOnward14,
  title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs},
  author = {Eelco Visser and Guido Wachsmuth and Andrew P. Tolmach and Pierre Néron and Vlad A. Vergu and Augusto Passalaqua and Gabriël D. P. Konat},
  year = {2014},
  doi = {http://doi.acm.org/10.1145/2661136.2661149},
  researchr = {https://researchr.org/publication/VisserOnward14},
  cites = {0},
  citedby = {0},
  pages = {95-111},
  booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SLASH '14, Portland, OR, USA, October 20-24, 2014},
  editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
  publisher = {ACM},
  isbn = {978-1-4503-3210-1},
}