A Language Designer’s Workbench. A one-stop shop for implementation and verification of language designs

November 26, 2014

Last month I presented our paper about our vision of a language designer’s workbench at Onward! 2014 in Portland. Here are the slides of that presentation:

A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat. OOPSLA 2014: 95-111

Abstract: The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer’s workbench that supports generation of IDEs, interpreters, and verification infrastructure from a single source. This constitutes a first milestone on the way to a system that fully automates language implementation and verification.