1. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
- Author
-
Andrew Tolmach, Eelco Visser, Augusto Passalaqua, Vlad Vergu, Guido Wachsmuth, Gabrieël Konat, and Pierre Neron
- Subjects
Programming language ,Modeling language ,Computer science ,Meta-theory ,Language specification ,Language designer workbench ,Name binding ,Domain specific languages ,Specification language ,computer.software_genre ,Programming language implementation ,Semantics ,Universal Networking Language ,Programming language specification ,Types ,Data control language ,Syntax ,First-generation programming language ,computer ,Low-level programming language - 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.
- Published
- 2014