Print Email Facebook Twitter A Language Designer's Workbench Title A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs Author Visser, Eelco (TU Delft Programming Languages) Wachsmuth, G.H. (TU Delft Programming Languages) Tolmach, Andrew (Portland State University) Neron, P.J.M. (TU Delft Software Engineering) Vergu, V.A. (TU Delft Programming Languages) Passalaqua Martins, A. (TU Delft Software Engineering) Konat, G.D.P. (TU Delft Programming Languages) Date 2014-10-20 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. Subject Domain specific languagesLanguage designer workbenchLanguage specificationMeta-theoryName bindingSemanticsSyntaxTypes To reference this document use: http://resolver.tudelft.nl/uuid:4c5a5d4d-a7be-48b3-b788-4972556a23fe DOI https://doi.org/10.1145/2661136.2661149 Publisher Association for Computing Machinery (ACM), New York, NY ISBN 978-1-4503-3210-1 Source Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software Event 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2014 -Part of SPLASH 2014, 2014-10-20 → 2014-10-24, Portland, United States Part of collection Institutional Repository Document type conference paper Rights © 2014 Eelco Visser, G.H. Wachsmuth, Andrew Tolmach, P.J.M. Neron, V.A. Vergu, A. Passalaqua Martins, G.D.P. Konat Files PDF p95_visser.pdf 5.86 MB Close viewer /islandora/object/uuid:4c5a5d4d-a7be-48b3-b788-4972556a23fe/datastream/OBJ/view