Conclusions from the Language Workbench Challenge

�$�*����,%'!��$�� �%)�)�%$ ��-)*�" �.#�%"( '�&����" ���*"� ' ��#�$)��( �'�$("�)�%$�" �%��"�)%�)�) �%��"�)%�#%��" �%$�'�)��(.$)� �$)�'&'�)�)�+� ���)% ' ��)�)�$��#%�� �'����%'# �'% ��)�%$�" �.$)��)���(�'+���( ����"���)�$� �*)"�$� �%"��$� �.$)��)����%#&"�)�%$ ��� � � *)%��%'#�))�$� ��#�$)���(�'+���( ����'�$���'�(%"*)�%$ ��#�$)����%#&"�)�%$ �����)%'�$� �''%'�#�'!�$� �*��!���-�( �'���$�)'��!�$� �+��)'�$("�)�%$ ��"���)�%$ �)'*�)*'�" ��#�$)� � ��#�$� �.&�( �'%�'�##�)�� ��()�$� ���)�()�$� ������*���$� ���&'%�'�#����*���$� �%#&%(���"�) . �.$)�-�+��,( ��"���)�%$� ��#�$)��(� ���)%'�(�'+���( ���$�� ��$��)%'. �&)�%$�" �' ¯ ������ �� �*!&�) �)��'&�"! ��!��$�!��$"#���&�"!��(�!� ������&�"! � �% �*#�% �*���%��&�$ �!�% ���&" $ �������&�!� �'&��!�����$�!��% �$$"$� �$��!� ��� ���&�"!%���� % �&*��%�����&%�$"%%�(�����&�"! ����!�� ��!��&"$* �#&�"!�� �$ ¯

[1]  Y. Yamamoto,et al.  Application of the Entity-Relationship Approach to Information Processing Systems Modelling , 1979, International Conference on Conceptual Modeling.

[2]  Bernard Lang,et al.  Programming Environments Based on Structured Editors: The MENTOR Experience, , 1980 .

[3]  Thomas Reps,et al.  The synthesizer generator , 1984 .

[4]  Paul G. Sorenson,et al.  The Metaview system for many specification environments , 1988, IEEE Software.

[5]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[6]  Jay F. Nunamaker,et al.  MetaPlex: an integrated environment for organization and information system development , 1989, ICIS '89.

[7]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[8]  Kalle Lyytinen,et al.  MetaEdit - A Flexible Graphical Environment for Methodology Modelling , 1991, CAiSE.

[9]  Paul Klint,et al.  A meta-environment for generating programming environments , 1989, TSEM.

[10]  Martin P. Ward Language-Oriented Programming , 1994, Softw. Concepts Tools.

[11]  A. van Deursen,et al.  Algebraic specification of a language for describing financial products , 1995 .

[12]  Russell W. Quong,et al.  ANTLR: A predicated‐LL(k) parser generator , 1995, Softw. Pract. Exp..

[13]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[14]  João Saraiva,et al.  Lrc - A Generator for Incremental Language-Oriented Tools , 1998, International Conference on Compiler Construction.

[15]  Alfonso Pierantonio,et al.  Tool Support for Language Design and Prototyping with Montages , 1999, CC.

[16]  Paul Klint,et al.  Semantics of programming languages: a tool-oriented approach , 1999, SIGP.

[17]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[18]  Viljem Zumer,et al.  LISA: An Interactive Environment for Programming Language Development , 2002, CC.

[19]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[20]  Bryan Ford,et al.  Parsing expression grammars: a recognition-based syntactic foundation , 2004, POPL '04.

[21]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[22]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[23]  Charles Simonyi,et al.  Intentional software , 2006, OOPSLA '06.

[24]  Eelco Visser,et al.  WebDSL: A Case Study in Domain-Specific Language Engineering , 2007, GTTSE.

[25]  Marjan Mernik,et al.  A preliminary study on various implementation approaches of domain-specific language , 2008, Inf. Softw. Technol..

[26]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[27]  Eelco Visser,et al.  Stratego/XT 0.17. A language and toolset for program transformation , 2008, Sci. Comput. Program..

[28]  Paul Klint,et al.  EASY Meta-programming with Rascal , 2009, GTTSE.

[29]  Tijs van der Storm,et al.  RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation , 2009, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation.

[30]  Mirko Seifert,et al.  Derivation and Refinement of Textual Syntax for Models , 2009, ECMDA-FA.

[31]  Eelco Visser,et al.  The spoofax language workbench: rules for declarative specification of languages and IDEs , 2010, OOPSLA.

[32]  Heiko Behrens,et al.  Xtext: implement your language faster than the quick and dirty way , 2010, SPLASH/OOPSLA Companion.

[33]  Paul Klint,et al.  On the impact of DSL tools on the maintainability of language implementations , 2010, LDTA.

[34]  Sebastian Erdweg,et al.  SugarJ: library-based syntactic language extensibility , 2011, OOPSLA '11.

[35]  Tijs van der Storm,et al.  Bringing domain-specific languages to digital forensics , 2011, ICSE.

[36]  Eelco Visser,et al.  Declaratively programming the mobile web with Mobl , 2011, OOPSLA '11.

[37]  Eelco Visser,et al.  Growing a language environment with editor libraries , 2011, GPCE '11.

[38]  van der,et al.  The Rascal Language Workbench , 2011 .

[39]  David H. Lorenz,et al.  Cedalion: a language for language oriented programming , 2011, OOPSLA '11.

[40]  Emma Söderberg,et al.  Building semantic editors using JastAdd: tool demonstration , 2011, LDTA.

[41]  Wilhelm Hasselbring,et al.  Xbase: implementing domain-specific languages for Java , 2012, GPCE '12.

[42]  Eelco Visser,et al.  Declarative Name Binding and Scope Rules , 2012, SLE.

[43]  Sebastian Erdweg,et al.  Layout-sensitive language extensibility with SugarHaskell , 2013, Haskell 2013.

[44]  Eelco Visser,et al.  Declarative specification of template-based textual editors , 2012, LDTA.

[45]  Sebastian Erdweg,et al.  Layout-Sensitive Generalized Parsing , 2012, SLE.

[46]  Markus Völter,et al.  Language modularity with the MPS language workbench , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[47]  Sebastian Erdweg,et al.  Language composition untangled , 2012, LDTA.

[48]  Paul Klint,et al.  Meta-language Support for Type-Safe Access to External Resources , 2012, SLE.

[49]  Bernhard Schätz,et al.  mbeddr: an extensible C-based programming language and IDE for embedded systems , 2012, SPLASH '12.

[50]  Bernhard Schätz,et al.  mbeddr: instantiating a language workbench in the embedded software domain , 2013, Automated Software Engineering.

[51]  Jim Steel,et al.  Robust Real-Time Synchronization between Textual and Graphical Editors , 2013, ICMT.

[52]  Sebastian Erdweg,et al.  Modular and automated type-soundness verification for language extensions , 2013, ICFP.

[53]  Sebastian Erdweg,et al.  Extensible languages for flexible and principled domain abstraction , 2013 .