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 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 SPLASH '14, Portland, OR, USA, October 20-24, 2014. pages 95-111, ACM, 2014. [doi]

Authors

Eelco Visser

Identified as Eelco Visser
(Delft University of Technology
)

Guido Wachsmuth

Identified as Guido Wachsmuth
(Delft University of Technology, The Netherlands
)

Andrew P. Tolmach

Identified as Andrew P. Tolmach
(Portland State University
)

Pierre Neron

Identified as Pierre Néron

Vlad A. Vergu

Identified as Vlad A. Vergu
(Delft University of Technology
)

Augusto Passalaqua

Identified as Augusto Passalaqua

Gabriël Konat

Identified as Gabriël Konat