A Language Designer's Workbench

Visser, Eelco; Wachsmuth, G.H.; Tolmach, Andrew; Neron, P.J.M.; Vergu, V.A.; Passalaqua Martins, A.; Konat, G.D.P.

doi:10.1145/2661136.2661149

A Language Designer's Workbench

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

Conference paper (2014)

Authors

Eelco Visser Programming Languages -

G.H. Wachsmuth Programming Languages -

Andrew Tolmach Portland State University

P.J.M. Neron Software Engineering -

V.A. Vergu Programming Languages -

A. Passalaqua Martins Software Engineering -

G.D.P. Konat Programming Languages -

Research Group

Programming Languages () (TU Delft)

DOI: https://doi.org/10.1145/2661136.2661149

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

To reference this document use:

http://resolver.tudelft.nl/uuid:4c5a5d4d-a7be-48b3-b788-4972556a23fe

More Info

expand_more

Published Date

20-10-2014

Language

English

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.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Technology

Research Group

Programming Languages

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)

Unknown license