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.
Original language | English |
---|---|
Title of host publication | Onward! 2014 |
Subtitle of host publication | Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software |
Place of Publication | New York, NY |
Publisher | Association for Computing Machinery (ACM) |
Pages | 95-111 |
Number of pages | 17 |
ISBN (Electronic) | 978-1-4503-3210-1 |
DOIs | |
Publication status | Published - 20 Oct 2014 |
Event | 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014 - Portland, United States Duration: 20 Oct 2014 → 24 Oct 2014 |
Conference
Conference | 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014 |
---|---|
Country/Territory | United States |
City | Portland |
Period | 20/10/14 → 24/10/14 |
Keywords
- Domain specific languages
- Language designer workbench
- Language specification
- Meta-theory
- Name binding
- Semantics
- Syntax
- Types