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

doi:10.1145/2661136.2661149

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 volume › Conference contribution › Scientific › peer-review

41 Citations (Scopus)

114 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 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	https://doi.org/10.1145/2661136.2661149
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

Access to Document

10.1145/2661136.2661149

p95-visserFinal published version, 5.77 MB

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

Visser, Eelco ; Wachsmuth, Guido ; Tolmach, Andrew et al. / A Language Designer's Workbench : A One-Stop-Shop for Implementation and Verification of Language Designs. Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY : Association for Computing Machinery (ACM), 2014. pp. 95-111

@inproceedings{4c5a5d4da7be48b3b7884972556a23fe,

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

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.",

keywords = "Domain specific languages, Language designer workbench, Language specification, Meta-theory, Name binding, Semantics, Syntax, Types",

author = "Eelco Visser and Guido Wachsmuth and Andrew Tolmach and Pierre Neron and Vlad Vergu and {Passalaqua Martins}, Augusto and Gabri{\"e}l Konat",

year = "2014",

month = oct,

day = "20",

doi = "10.1145/2661136.2661149",

language = "English",

pages = "95--111",

booktitle = "Onward! 2014",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014 ; Conference date: 20-10-2014 Through 24-10-2014",

}

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. Association for Computing Machinery (ACM), New York, NY, pp. 95-111, 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014, Portland, United States, 20/10/14. https://doi.org/10.1145/2661136.2661149

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. / Visser, Eelco; Wachsmuth, Guido; Tolmach, Andrew et al.
Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), 2014. p. 95-111.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A Language Designer's Workbench

T2 - 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014

AU - Visser, Eelco

AU - Wachsmuth, Guido

AU - Tolmach, Andrew

AU - Neron, Pierre

AU - Vergu, Vlad

AU - Passalaqua Martins, Augusto

AU - Konat, Gabriël

PY - 2014/10/20

Y1 - 2014/10/20

N2 - 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.

AB - 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.

KW - Domain specific languages

KW - Language designer workbench

KW - Language specification

KW - Meta-theory

KW - Name binding

KW - Semantics

KW - Syntax

KW - Types

UR - http://www.scopus.com/inward/record.url?scp=84910662102&partnerID=8YFLogxK

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

U2 - 10.1145/2661136.2661149

DO - 10.1145/2661136.2661149

M3 - Conference contribution

AN - SCOPUS:84910662102

SP - 95

EP - 111

BT - Onward! 2014

PB - Association for Computing Machinery (ACM)

CY - New York, NY

Y2 - 20 October 2014 through 24 October 2014

ER -

Visser E, Wachsmuth G, Tolmach A, Neron P, Vergu V, Passalaqua Martins A et al. 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. New York, NY: Association for Computing Machinery (ACM). 2014. p. 95-111 doi: 10.1145/2661136.2661149

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this