research-article

The spoofax language workbench: rules for declarative specification of languages and IDEs

Authors:

Lennart C.L. Kats,

Eelco VisserAuthors Info & Claims

ACM SIGPLAN Notices, Volume 45, Issue 10

Pages 444 - 463

https://doi.org/10.1145/1932682.1869497

Published: 17 October 2010 Publication History

Abstract

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into a single environment. It uses concise, declarative specifications for languages and IDE services. In this paper we describe the architecture of Spoofax and introduce idioms for high-level specifications of language semantics using rewrite rules, showing how analyses can be reused for transformations, code generation, and editor services such as error marking, reference resolving, and content completion. The implementation of these services is supported by language-parametric editor service classes that can be dynamically loaded by the Eclipse IDE, allowing new languages to be developed and used side-by-side in the same Eclipse environment.

References

[1]

}}The Spoofax project. http://www.spoofax.org/.

[2]

}}P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. SIGPLAN Not., 24(2):14--24, 1989.

Digital Library

[3]

}}M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.17. A language and toolset for program transformation. Sci. of Comp. Programming, 72(1-2):52--70, June 2008. Special issue on experimental software and toolkits.

Digital Library

[4]

}}M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae, 69(1-2):123--178, 2006.

Digital Library

[5]

}}M. Bravenboer and E. Visser. Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions. In OOPSLA, pages 365--383, 2004.

Digital Library

[6]

}}F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose. Eclipse Modeling Framework. Addison-Wesley, 2004.

Digital Library

[7]

}}P. Charles, R. M. Fuhrer, and S. M. Sutton, Jr. IMP: a meta-tooling platform for creating language-specific IDEs in Eclipse. In ASE 2007, pages 485--488, 2007.

Digital Library

[8]

}}P. Charles, R. M. Fuhrer, S. M. Sutton, Jr., E. Duesterwald, and J. Vinju. Accelerating the creation of customized, language-specific IDEs in Eclipse. In OOPSLA 2009. ACM, 2009.

Digital Library

[9]

}}S. Cook, G. Jones, S. Kent, and A. C. Wills. Domain-Specific Development with Visual Studio DSL Tools. Addison Wesley, 2007.

Digital Library

[10]

}}J. R. Cordy, C. D. Halpern-Hamu, and E. Promislow. TXL: a rapid prototyping system for programming language dialects. In Conf. on Comp. Languages, pages 280--285. IEEE, 1988.

[11]

}}M. de Jonge, E. Nilsson-Nyman, L. C. L. Kats, and E. Visser. Natural and flexible error recovery for generated parsers. In SLE, 2010.

Digital Library

[12]

}}A. v. Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Sci. Publ. Co., 1996.

Digital Library

[13]

}}S. Efftinge et al. openArchitectureWare User Guide. Version 4.3. Available from http://www.eclipse.org/gmt/oaw/doc/4.3/html/contents/, April 2008.

[14]

}}S. Efftinge and M. Voelter. oAW xText: A framework for textual DSLs. In Workshop on Modeling Symposium at Eclipse Summit, 2006.

[15]

}}M. Fowler. A language workbench in action - MPS. http://martinfowler.com/articles/mpsAgree.html, 2005.

[16]

}}M. Fowler. Language workbenches: The killer-app for domain specific languages?http://martinfowler.com/articles/languageWorkbench.html, 2005.

[17]

}}M. Fowler. PostIntelliJ. http://martinfowler.com/bliki/PostIntelliJ.html, 2005.

[18]

}}M. Fowler. A pedagogical framework for domain-specific languages. IEEE Software, 26:13--14, 2009.

Digital Library

[19]

}}T. Goldschmidt, S. Becker, and A. Uhl. Classification of concrete textual syntax mapping approaches. In ECMDA-FA 2008, volume 5095 of LNCS, pages 169--184. Springer, 2008.

Digital Library

[20]

}}G. Hedin and E. Magnusson. JastAdd: an aspect-oriented compiler construction system.Sci. Comput. Program., 47(1):37--58, 2003.

Digital Library

[21]

}}J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF: Reference manual. SIGPLAN Not., 24(11):43--75, 1989.

Digital Library

[22]

}}F. Heidenreich, J. Johannes, S. Karol, M. Seifert, and C. Wende. Derivation and refinement of textual syntax for models. In ECMDA-FA, pages 114--129, 2009.

Digital Library

[23]

}}Z. Hemel, L. C. L. Kats, D. M. Groenewegen, and E. Visser. Code generation by model transformation. A case study in transformation modularity. Softw. and Syst. Modeling, 2009.

[24]

}}Z. Hemel and E. Visser. PIL: A platform independent language for retargetable DSLs. In SLE, 2010.

Digital Library

[25]

}}JetBrains. Meta programming system. https://www. jetbrains.com/mps.

[26]

}}F. Jouault, J. Bezivin, and I. Kurtev. TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In Generative and Component Engineering (GPCE'06), pages 249--254. ACM, 2006.

Digital Library

[27]

}}K. T. Kalleberg and E. Visser. Spoofax: An interactive development environment for program transformation with Stratego/XT. In Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), pages 47--50, 2007.

[28]

}}K. T. Kalleberg and E. Visser. Fusing a transformation language with an open compiler. In Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), volume 203 of ENTCS, pages 21--36. Elsevier, April 2008.

Digital Library

[29]

}}L. C. L. Kats, M. de Jonge, E. Nilsson-Nyman, and E. Visser. Providing rapid feedback in generated modular language environments. Adding error recovery to scannerless generalized-LR parsing. In OOPSLA, pages 445--464, 2009.

Digital Library

[30]

}}L. C. L. Kats, K. T. Kalleberg, and E. Visser. Domain-specific languages for composable editor plugins. In Workshop on Language Descriptions, Tools, and Applications (LDTA 2009). Elsevier, April 2009.

[31]

}}L. C. L. Kats, A. M. Sloane, and E. Visser. Decorated attribute grammars. Attribute evaluation meets strategic programming. In Conference on Compiler Construction (CC 2009), volume 5501 of LNCS, pages 142--157. Springer, March 2009.

Digital Library

[32]

}}L. C. L. Kats, E. Visser, and G. Wachsmuth. Pure and declarative syntax definition: Paradise lost and regained. In Onward!, 2010.

Digital Library

[33]

}}S. Kelly and J.-P. Tolvanen. Domain-Specific Modeling. Enabling Full Code Generation. John Wiley & Sons, Inc., 2008.

Digital Library

[34]

}}P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering Methodology, 2(2):176--201, 1993.

Digital Library

[35]

}}P. Klint, T. van der Storm, and J. Vinju. Rascal: a domain specific language for source code analysis and manipulation. In SCAM, pages 168--177, 2009.

Digital Library

[36]

}}H. Krahn, B. Rumpe, and S. Volkel. Monticore: Modular development of textual domain specific languages. In TOOLS, pages 297--315, 2008.

[37]

}}M. F. Kuiper and J. Saraiva. Lrc - a generator for incremental language-oriented tools. In Compiler Construction (CC'98), pages 298--301, London, UK, 1998. Springer-Verlag.

Digital Library

[38]

}}M. Mernik, J. Heering, and A. Sloane. When and how to develop domain-specific languages. ACM Computing Surveys (CSUR), 37(4):344, 2005.

Digital Library

[39]

}}N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An Extensible Compiler Framework for Java. Compiler Construction (CC'03), 2622:138--152, Apr. 2003.

Digital Library

[40]

}}M. Pfeiffer and J. Pichler. A comparison of tool support for textual domain-specific languages. In Workshop on Domain-Specific Modeling, pages 1--7, 2008.

[41]

}}T. Reps and T. Teitelbaum. The synthesizer generator. SIGSOFT Softw. Eng. Notes, 9(3):42--48, 1984.

Digital Library

[42]

}}S. Saunders, D. K. Fields, and E. Belayev. IntelliJ IDEA in Action. Manning, 2006.

Digital Library

[43]

}}C. Simonyi. The death of computer languages, the birth of Intentional Programming. Tech. report, MS Research, 1995.

[44]

}}M. Van den Brand, A. Van Deursen, J. Heering, H. De Jong, et al. The Asf+Sdf Meta-Environment A Component-Based Language Development Environment. In Compiler Construction, volume 44 of LNCS, pages 365--370. Springer, 2001.

Digital Library

[45]

}}M. G. J. van den Brand, H. de Jong, P. Klint, and P. Olivier. Efficient annotated terms. Software, Practice & Experience, 30(3):259--291, 2000.

Digital Library

[46]

}}A. van Deursen, P. Klint, and F. Tip. Origin tracking. Journal of Symbolic Computation, 15(5/6):523--545, 1993.

Digital Library

[47]

}}A. van Deursen, P. Klint, and J. Visser. Domain-specific languages: an annotated bibliography. SIGPLAN Not., 35(6):26--36, 2000.

Digital Library

[48]

}}S. Vermolen and E. Visser. Heterogeneous coupled evolution of software languages. In MoDELS, pages 630--644, 2008.

Digital Library

[49]

}}E. Visser. A family of syntax definition formalisms. Technical Report P9706, Programming Research Group, University of Amsterdam, July 1997.

[50]

}}E. Visser. Meta-programming with concrete object syntax. In GPCE, pages 299--315, 2002.

Digital Library

[51]

}}E. Visser. WebDSL: A case study in domain-specific language engineering. In GTTSE, pages 291--373, 2007.

[52]

}}E. Visser, Z.-E.-A. Benaissa, and A. P. Tolmach. Building program optimizers with rewriting strategies. In ICFP, pages 13--26, 1998.

Digital Library

[53]

}}W. Waite and G. Goss. Compiler construction. 1984. {54} M. P. Ward. Language-oriented programming. Software Concepts and Tools, 15(4):147--161, 1994.

[54]

}}Textual Editing Framework (TEF). http://www.informatik.hu-berlin.de/sam/meta-tools/tef.

[55]

}}Textual modeling framework (TMF). http://www.eclipse.org/modeling/tmf/.

[56]

}}The WAtson Libraries for Analysis. http://wala.sourceforge.net/.

Cited By

Jilissen KDieleman PGroote J(2024)Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial EnvironmentElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.6399(101-127)Online publication date: 27-Mar-2024
https://doi.org/10.4204/EPTCS.399.6
Michael JBork DWimmer MMayr H(2024)Quo Vadis modeling?Software and Systems Modeling (SoSyM)10.1007/s10270-023-01128-y23:1(7-28)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01128-y
Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622818
Show More Cited By

Index Terms

The spoofax language workbench: rules for declarative specification of languages and IDEs
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...
The Spoofax language workbench
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. It provides a comprehensive environment that integrates syntax definition, program transformation, code generation, ...
Language extension and composition with language workbenches
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developers to avoid boilerplate code and low-...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 45, Issue 10

OOPSLA '10

October 2010

957 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1932682

Issue’s Table of Contents

OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications
October 2010
984 pages
ISBN:9781450302036
DOI:10.1145/1869459
General Chairs:
William R. Cook
University of Texas at Austin
,
Siobhán Clarke
Trinity College Dublin
,
Program Chairs:
Martin Rinard
MIT
,
Kevin J. Sullivan
University of Virginia
,
Daniel H. Steinberg
Dim Sum Thinking Inc.

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 October 2010

Published in SIGPLAN Volume 45, Issue 10

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

301
Total Citations
View Citations
1,510
Total Downloads

Downloads (Last 12 months)56
Downloads (Last 6 weeks)10

Reflects downloads up to 02 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jilissen KDieleman PGroote J(2024)Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial EnvironmentElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.6399(101-127)Online publication date: 27-Mar-2024
https://doi.org/10.4204/EPTCS.399.6
Michael JBork DWimmer MMayr H(2024)Quo Vadis modeling?Software and Systems Modeling (SoSyM)10.1007/s10270-023-01128-y23:1(7-28)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01128-y
Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622818
Leger PCardozo NMasuhara H(2023)An expressive and modular layer activation mechanism for Context-Oriented ProgrammingInformation and Software Technology10.1016/j.infsof.2022.107132156(107132)Online publication date: Apr-2023
https://doi.org/10.1016/j.infsof.2022.107132
Marr SBurchell HNiephaus FDe Meuter WGuha A(2022)Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic LanguagesProceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages10.1145/3563834.3567537(1-14)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563834.3567537
Sorokin RPatil SVyatkin V(2022)Novel development tool for IEC 61499 based on domain-specific languagesIFAC-PapersOnLine10.1016/j.ifacol.2022.04.23355:2(439-444)Online publication date: 2022
https://doi.org/10.1016/j.ifacol.2022.04.233
Groote JLaveaux Mvan Spaendonck P(2022)A Thread-Safe Term LibraryLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_25(422-459)Online publication date: 17-Oct-2022
https://doi.org/10.1007/978-3-031-19849-6_25
Dejanović IDejanović MVidaković JNikolić S(2021)PyFlies: A Domain-Specific Language for Designing Experiments in PsychologyApplied Sciences10.3390/app1117782311:17(7823)Online publication date: 25-Aug-2021
https://doi.org/10.3390/app11177823
Butting AHölldobler KRumpe BWortmann A(2021)Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques—The MontiCore ApproachComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_10(217-234)Online publication date: 18-Jul-2021
https://doi.org/10.1007/978-3-030-81915-6_10
Barash MPech V(2021)Teaching MPS: Experiences from Industry and AcademiaDomain-Specific Languages in Practice10.1007/978-3-030-73758-0_10(293-313)Online publication date: 15-Apr-2021
https://doi.org/10.1007/978-3-030-73758-0_10
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents