Standard

A Language Designer's Workbench : A One-Stop-Shop for Implementation and Verification of Language Designs. / Visser, Eelco; Wachsmuth, Guido; Tolmach, Andrew; Neron, Pierre; Vergu, Vlad; Passalaqua Martins, Augusto; Konat, Gabriël.

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/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

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

APA

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). New York, NY: Association for Computing Machinery (ACM). https://doi.org/10.1145/2661136.2661149

Vancouver

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

Author

Visser, Eelco ; Wachsmuth, Guido ; Tolmach, Andrew ; Neron, Pierre ; Vergu, Vlad ; Passalaqua Martins, Augusto ; Konat, Gabriël. / 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

BibTeX

@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 = "10",
day = "20",
doi = "10.1145/2661136.2661149",
language = "English",
pages = "95--111",
booktitle = "Onward! 2014",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

RIS

TY - GEN

T1 - A Language Designer's Workbench

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

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

SP - 95

EP - 111

BT - Onward! 2014

PB - Association for Computing Machinery (ACM)

CY - New York, NY

ER -

ID: 10179913