A Language Designer's Workbench

A One-Stop-Shop for Implementation and Verification of Language Designs

Conference Paper (2014)
Author(s)

Eelco Visser (TU Delft - Programming Languages)

Guido Wachsmuth (TU Delft - Programming Languages)

Andrew Tolmach (Portland State University)

P.J.M. Neron (TU Delft - Software Engineering)

VA Vergu (TU Delft - Programming Languages)

A. Passalaqua Martins (TU Delft - Software Engineering)

Gabriël Konat (TU Delft - Programming Languages)

Research Group
Programming Languages
Copyright
© 2014 Eelco Visser, G.H. Wachsmuth, Andrew Tolmach, P.J.M. Neron, V.A. Vergu, A. Passalaqua Martins, G.D.P. Konat
DOI related publication
https://doi.org/10.1145/2661136.2661149
More Info
expand_more
Publication Year
2014
Language
English
Copyright
© 2014 Eelco Visser, G.H. Wachsmuth, Andrew Tolmach, P.J.M. Neron, V.A. Vergu, A. Passalaqua Martins, G.D.P. Konat
Research Group
Programming Languages
Pages (from-to)
95-111
ISBN (electronic)
978-1-4503-3210-1
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

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.

Files

P95_visser.pdf
(pdf | 5.86 Mb)
License info not available