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

Eelco Visser, Guido Wachsmuth, Andrew Tolmach, Pierre Neron, Vlad Vergu, Augusto Passalaqua Martins, Gabriël Konat

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

31 Citations (Scopus)
31 Downloads (Pure)

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 languageEnglish
Title of host publicationOnward! 2014
Subtitle of host publicationProceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery (ACM)
Pages95-111
Number of pages17
ISBN (Electronic)978-1-4503-3210-1
DOIs
Publication statusPublished - 20 Oct 2014
Event2014 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 201424 Oct 2014

Conference

Conference2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014
CountryUnited States
CityPortland
Period20/10/1424/10/14

Keywords

  • Domain specific languages
  • Language designer workbench
  • Language specification
  • Meta-theory
  • Name binding
  • Semantics
  • Syntax
  • Types

Cite this

Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A., & Konat, G. (2014). A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. In Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 95-111). Association for Computing Machinery (ACM). https://doi.org/10.1145/2661136.2661149