publications:
- title: "The ASF+SDF Meta-environment: A Component-Based Language Development Environment"
  author:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Arie  van Deursen"
    link: "http://www.st.ewi.tudelft.nl/~arie/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "H. A. de Jong"
    link: "http://www.cwi.nl"
  - name: "Merijn de Jonge"
    link: "https://researchr.org/profile/merijndejonge/publications"
  - name: "Tobias Kuipers"
    link: "http://www.sig.eu"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  - name: "Leon Moonen"
    link: "http://simula.no/~leonm/"
  - name: "Pieter A. Olivier"
    link: "http://www.cwi.nl"
  - name: "Jeroen Scheerder"
    link: "http://www.linkedin.com/in/jeroenscheerder"
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  year: "2001"
  doi: "https://doi.org/10.1016/S1571-0661(04)80917-4"
  abstract: "The Asf+Sdf Meta-environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the Meta-environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture. "
  links:
    doi: "https://doi.org/10.1016/S1571-0661(04)80917-4"
  tags:
  - "programming languages"
  - "rule-based"
  - "meta programming"
  - "SDF"
  - "meta-model"
  - "architecture"
  - "model-driven development"
  - "source-to-source"
  - "DSL"
  - "metaprogramming"
  - "Meta-Environment"
  - "Cobol"
  - "ASF+SDF"
  - "open-source"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BrandDHJ01"
  cites: 0
  citedby: 3
  pages: "365-370"
  booktitle: "Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Reinhard Wilhelm"
    link: "https://researchr.org/alias/reinhard-wilhelm"
  volume: "2027"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41861-X"
  kind: "inproceedings"
  key: "BrandDHJ01"
- title: "Deterministic Parsing of Ambiguous Grammars"
  author:
  - name: "Alfred V. Aho"
    link: "http://www1.cs.columbia.edu/~aho/"
  - name: "Stephen C. Johnson"
    link: "https://researchr.org/alias/stephen-c.-johnson"
  - name: "Jeffrey D. Ullman"
    link: "https://researchr.org/alias/jeffrey-d.-ullman"
  year: "1975"
  doi: "http://doi.acm.org/10.1145/360933.360969"
  abstract: "Methods of describing the syntax of programming languages in ways that are more flexible and natural than conventional BNF descriptions are considered. These methods involve the use of ambiguous context-free grammars together with rules to resolve syntactic ambiguities. It is shown how efficient LR and LL parsers can be constructed directly from certain classes of these specifications. "
  links:
    doi: "http://doi.acm.org/10.1145/360933.360969"
  tags:
  - "programming languages"
  - "rule-based"
  - "rules"
  - "C++"
  - "programming"
  - "context-aware"
  - "parsing"
  - "grammar"
  researchr: "https://researchr.org/publication/AhoJU75"
  cites: 0
  citedby: 1
  journal: "Communications of the ACM"
  volume: "18"
  number: "8"
  pages: "441-452"
  kind: "article"
  key: "AhoJU75"
- title: "Generating Editors for Embedded Languages. Integrating SGLR into IMP"
  author:
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  month: "April"
  abstract: "Integrated Development Environments (IDEs) increase productivity by providing a rich user interface and rapid feedback for a specific language. Creating an editor for a specific language is not a trivial undertaking, and is a cumbersome task even when working with an extensible framework such as Eclipse. A new IBM-guided effort, the IMP framework, relieves the IDE developer from a significant portion of the required work by providing various abstractions for this. For embedded languages, such as embedded regular expressions, SQL queries, or code generation templates, its LALR parser generator falls short, however. Scannerless parsing with SGLR enables concise, modular definition of such languages. In this paper, we present an integration of SGLR into IMP, demonstrating that a scannerless parser can be successfully integrated into an IDE. Given an SDF syntax definition, the sdf2imp tool automatically generates an editor plugin based on the IMP API, complete with syntax checking, syntax highlighting, outline view, and code folding. Using declarative domain-specific languages, these services can be customized, and using the IMP metatooling framework it can be extended with other features. "
  links:
    successor: "https://researchr.org/publication/KatsVisser2010"
    "spoofax homepage": "http://strategoxt.org/Spoofax"
    "pdf": "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-006.pdf"
  tags:
  - "rule-based"
  - "Eclipse"
  - "syntax definition"
  - "completeness"
  - "SDF"
  - "SQL"
  - "C++"
  - "code generation"
  - "abstraction"
  - "Spoofax"
  - "Meta-Environment"
  - "parsing"
  - "scannerless parsing"
  - "extensible language"
  - "ASF+SDF"
  - "SGLR"
  - "query language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KatsKV08"
  cites: 0
  citedby: 1
  booktitle: "Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications"
  editor:
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  - name: "Adrian Johnstone"
    link: "http://www.cs.rhul.ac.uk/~adrian/"
  volume: "238"
  number: "5"
  series: "Electronic Notes in Theoretical Computer Science   "
  publisher: "Elsevier"
  kind: "inproceedings"
  key: "KatsKV08"
- title: "Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing"
  author:
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Maartje  de Jonge"
    link: "https://researchr.org/profile/maartjedejonge/publications"
  - name: "Emma  Nilsson-Nyman"
    link: "http://www.cs.lth.se/home/Emma.Nilsson_Nyman/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1640089.1640122"
  abstract: "Integrated development environments (IDEs) increase programmer productivity, providing rapid, interactive feedback based on the syntax and semantics of a language. A heavy burden lies on developers of new languages to provide adequate IDE support. Code generation techniques provide a viable, efficient approach to semi-automatically produce IDE plugins. Key components for the realization of plugins are the language's grammar and parser. For embedded languages and language extensions, constituent IDE plugin modules and their grammars can be combined. Unlike conventional parsing algorithms, scannerless generalized-LR parsing supports the full set of context-free grammars, which is closed under composition, and hence can parse language embeddings and extensions composed from separate grammar modules. To apply this algorithm in an interactive environment, this paper introduces a novel error recovery mechanism, which allows it to be used with files with syntax errors -- common in interactive editing. Error recovery is vital for providing rapid feedback in case of syntax errors, as most IDE services depend on the parser -- from syntax highlighting to semantic analysis and cross-referencing. We base our approach on the principles of island grammars, and derive permissive grammars with error recovery productions from normal SDF grammars. To cope with the added complexity of these grammars, we adapt the parser to support backtracking. We evaluate the recovery quality and performance of our approach using a set of composed languages, based on Java and Stratego. "
  links:
    doi: "http://doi.acm.org/10.1145/1640089.1640122"
    successor: "https://researchr.org/publication/JongeKVS12"
    "technical report (pdf)": "http://www.lclnet.nl/publications/error-recovery.pdf"
  tags:
  - "parsing algorithm"
  - "semantics"
  - "rule-based"
  - "Java"
  - "SDF"
  - "composition"
  - "analysis"
  - "principles"
  - "C++"
  - "code generation"
  - "context-aware"
  - "Meta-Environment"
  - "parsing"
  - "scannerless parsing"
  - "systematic-approach"
  - "island grammars"
  - "ASF+SDF"
  - "grammar"
  - "Stratego"
  researchr: "https://researchr.org/publication/KatsJNV09"
  cites: 0
  citedby: 1
  pages: "445-464"
  booktitle: "Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA"
  editor:
  - name: "Shail Arora"
    link: "https://researchr.org/alias/shail-arora"
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  publisher: "ACM"
  isbn: "978-1-60558-766-0"
  kind: "inproceedings"
  key: "KatsJNV09"
- title: "WebDSL: A Case Study in Domain-Specific Language Engineering"
  author:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_7"
  abstract: " The goal of domain-specific languages (DSLs) is to increase  the productivity of software engineers by abstracting from low-level boil-  erplate code. Introduction of DSLs in the software development process  requires a smooth workflow for the production of DSLs themselves. This  requires technology for designing and implementing DSLs, but also a  methodology for using that technology. That is, a collection of guidelines,  design patterns, and reusable DSL components that show developers how  to tackle common language design and implementation issues. This paper  presents a case study in domain-specific language engineering. It reports  on a pro ject in which the author designed and built WebDSL, a DSL  for web applications with a rich data model, using several DSLs for DSL  engineering: SDF for syntax definition and Stratego/XT for code gener-  ation. The paper follows the stages in the development of the DSL. The  contributions of the paper are three-fold. (1) A tutorial in the application  of the specific SDF and Stratego/XT technology for building DSLs. (2) A  description of an incremental DSL development process. (3) A domain-  specific language for web-applications with rich data models. The paper  concludes with a survey of related approaches.  "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_7"
    "technical report (pdf)": "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-023.pdf"
    "webdsl": "http://webdsl.org"
    "stratego/xt": "http://strategoxt.org"
  tags:
  - "WebDSL"
  - "reusable components"
  - "DSL engineering"
  - "web application development"
  - "data-flow language"
  - "pattern language"
  - "case study"
  - "software components"
  - "SDF"
  - "meta-model"
  - "abstract syntax"
  - "modeling language"
  - "Stratego/XT"
  - "language engineering"
  - "software language engineering"
  - "language modeling"
  - "software component"
  - "web engineering"
  - "language design"
  - "reuse"
  - "model-driven development"
  - "data-flow"
  - "survey"
  - "software engineering"
  - "model-driven engineering"
  - "web applications"
  - "DSL"
  - "Meta-Environment"
  - "incremental"
  - "design"
  - "process modeling"
  - "systematic-approach"
  - "ASF+SDF"
  - "language"
  - "Stratego"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Visser07"
  cites: 0
  citedby: 9
  pages: "291-373"
  booktitle: "Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007"
  editor:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  volume: "5235"
  series: "Lecture Notes in Computer Science"
  address: "Braga, Portugal"
  publisher: "Springer"
  isbn: "978-3-540-88642-6"
  kind: "inproceedings"
  key: "Visser07"
- title: "Language-Oriented Programming"
  author:
  - name: "Martin P. Ward"
    link: "https://researchr.org/alias/martin-p.-ward"
  year: "1994"
  doi: "http://www.cse.dmu.ac.uk/~mward/martin/papers/middle-out-t.pdf"
  abstract: "This paper describes the concept of language oriented programming which is a novel way of organising the development of a large software system, leading to a different structure for the finished product. The approach starts by developing a formally specified, domain-oriented, very high-level language which is designed to be well-suited to developing \"this kind of program\". The development process then splits into two independent stages: (1) Implement the system using this \"middle level\" language, and (2) Implement a compiler or translator or interpreter for the language, using existing technology. The approach is claimed to have advantages for domain analysis, rapid prototyping, maintenance, portability, user-enhanceable systems, reuse of development work, while also providing high development productivity. We give an example where the method has been used very successfully (in conjunction with rapid prototyping) in the development of a large software system: the FermaT reverse engineering tool. A major benefit of this approach to software development, as compared to the usual sequential \"waterfall model\" is the speed with which products can be brought to market. This is due to \"concurrent engineering\": the effective overlap of development stages. Finally, the \"middle out\" development style is compared and contrasted with the more usual \"top down\", \"bottom up\" and \"outside in\" development methods."
  links:
    doi: "http://www.cse.dmu.ac.uk/~mward/martin/papers/middle-out-t.pdf"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "program analysis"
  - "meta programming"
  - "language-oriented programming"
  - "meta-model"
  - "interpreter"
  - "reverse engineering"
  - "modeling language"
  - "language engineering"
  - "software language engineering"
  - "language modeling"
  - "LOP"
  - "domain analysis"
  - "analysis"
  - "language design"
  - "reuse"
  - "model-driven development"
  - "maintenance"
  - "software engineering"
  - "model-driven engineering"
  - "object-role modeling"
  - "compiler"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "process modeling"
  - "systematic-approach"
  - "feature-oriented programming"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/ward94languageoriented"
  cites: 0
  citedby: 0
  journal: "Software --- Concepts and Tools"
  volume: "15"
  number: "4"
  kind: "article"
  key: "ward94languageoriented"
- title: "A Meta-Environment for Generating Programming Environments"
  author:
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/151257.151260"
  abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, and, of course, these aspects will ultimately determine the acceptance of environment generators. However, only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will then become the next limiting factor determining ultimate success and acceptance of environment generators. In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF + SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition. Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax and incremental program generation techniques. "
  links:
    doi: "http://doi.acm.org/10.1145/151257.151260"
  tags:
  - "programming languages"
  - "rule-based"
  - "translation"
  - "syntax definition"
  - "meta programming"
  - "SDF"
  - "meta-model"
  - "functional programming"
  - "design research"
  - "language design"
  - "model-driven development"
  - "programming"
  - "Meta-Environment"
  - "incremental"
  - "design"
  - "ASF+SDF"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Klint93"
  cites: 33
  citedby: 40
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "2"
  number: "2"
  pages: "176-201"
  kind: "article"
  key: "Klint93"
- title: "MontiCore: a framework for the development of textual domain specific languages"
  author:
  - name: "Hans Gr{\\\"o}nniger"
    link: "https://researchr.org/alias/hans-gr%7B%5Eb%22o%7Dnniger"
  - name: "Holger Krahn"
    link: "https://researchr.org/alias/holger-krahn"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  - name: "Martin Schindler"
    link: "https://researchr.org/alias/martin-schindler"
  - name: "Steven V{\\\"o}lkel"
    link: "https://researchr.org/alias/steven-v%7B%5Eb%22o%7Dlkel"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1370175.1370190"
  abstract: "In this paper we demonstrate a framework for the efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of a readable concrete syntax and a comprehensible abstract syntax as both representations significantly overlap in their structure. To further improve the usability of the abstract syntax, this definition format integrates additional concepts like associations and inheritance into the well-understood grammar-based approach. Modularity concepts like language inheritance and embedding are used to simplify the development of languages based on already existing ones. In addition, the generation of editors and a template approach for code generation is explained."
  links:
    doi: "http://doi.acm.org/10.1145/1370175.1370190"
  tags:
  - "rule-based"
  - "syntax definition"
  - "abstract syntax"
  - "code generation"
  - "systematic-approach"
  - "concrete syntax"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/GronnigerKRSV08"
  cites: 9
  citedby: 0
  pages: "925-926"
  booktitle: "30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume"
  editor:
  - name: "Wilhelm Sch{\\\"a}fer"
    link: "https://researchr.org/alias/wilhelm-sch%7B%5Eb%22a%7Dfer"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Volker Gruhn"
    link: "https://researchr.org/alias/volker-gruhn"
  address: "Leipzig, Germany"
  publisher: "ACM"
  isbn: "978-1-60558-079-1"
  kind: "inproceedings"
  key: "GronnigerKRSV08"
- title: "Language Workbenches: The Killer-App for Domain Specific Languages?"
  author:
  - name: "Martin Fowler"
    link: "http://martinfowler.com/"
  year: "2005"
  doi: "http://www.martinfowler.com/articles/languageWorkbench.html"
  abstract: "Most new ideas in software developments are really new variations on old ideas. This article describes one of these, the growing idea of a class of tools that I call Language Workbenches - examples of which include Intentional Software, JetBrains's Meta Programming System, and Microsoft's Software Factories. These tools take an old style of development - which I call language oriented programming and use IDE tooling in a bid to make language oriented programming a viable approach. Although I'm not enough of a prognosticator to say whether they will succeed in their ambition, I do think that these tools are some of the most interesting things on the horizon of software development. Interesting enough to write this essay to try to explain, at least in outline, how they work and the main issues around their future usefulness."
  links:
    doi: "http://www.martinfowler.com/articles/languageWorkbench.html"
  tags:
  - "programming languages"
  - "workbench"
  - "object-oriented programming"
  - "meta programming"
  - "language-oriented programming"
  - "meta-model"
  - "LOP"
  - "model-driven development"
  - "programming"
  - "subject-oriented programming"
  - "language workbench"
  - "Meta-Environment"
  - "systematic-approach"
  - "feature-oriented programming"
  - "meta-objects"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Fowler2004"
  cites: 0
  citedby: 3
  kind: "misc"
  key: "Fowler2004"
- title: "Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS"
  author:
  - name: "Markus Völter"
    link: "http://www.voelter.de/"
  - name: " Konstantin Solomatov"
    link: "https://researchr.org/alias/konstantin-solomatov"
  year: "2010"
  doi: "https://doi.org/10.1007/978-3-642-35992-7_11"
  abstract: "The language community has had a discussion about different styles of languages for a long time: big languages with many specific concepts (ABAP, Cobol), or small languages with few, but very powerful and orthogonal concepts (Lisp, Smalltalk)? With the advent of projectional language workbenches a new class of language becomes possible that can combine the best of both approaches: modular languages. Modular Languages use a relatively small general-purpose core and can be extended with more (domain specific) concepts as needed. Projectional language workbenches support this approach by alleviating the problems of language composition for parser-based languages by not using grammars and parsers at all. They also enable IDE extension as a side benefit. In this paper we argue why modular languages are useful and illustrate the idea with a couple of small examples. We also present a number of language composition techniques for JetBrains MPS, an open source projectional language workbench."
  links:
    doi: "https://doi.org/10.1007/978-3-642-35992-7_11"
  tags:
  - "Domain-specific languages"
  - "workbench"
  - "modular languages"
  - "rule-based"
  - "projectional editing"
  - "composition"
  - "source-to-source"
  - "language workbench"
  - "language composition"
  - "Cobol"
  - "parsing"
  - "systematic-approach"
  - "open-source"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/VoelterSolomatov2010"
  cites: 0
  citedby: 0
  pages: "383-430"
  booktitle: "Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers"
  editor:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Brian Malloy"
    link: "https://researchr.org/alias/brian-malloy"
  - name: "Steffen Staab"
    link: "https://researchr.org/alias/steffen-staab"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "VoelterSolomatov2010"
- title: "Fusing a Transformation Language with an Open Compiler"
  author:
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.042"
  abstract: "Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often resulting in half-completed frontends. Compilers provide mature frontends with robust parsers and type checkers, but solving language processing problems in general-purpose languages without transformation libraries is tedious. Reusing these frontends with existing transformation systems is therefore attractive. However, for this reuse to be optimal, the functional logic found in the frontend should be exposed to the transformation system – simple data serialization of the abstract syntax tree is not enough, since this fails to expose important compiler functionality, such as import graphs, symbol tables and the type checker. In this paper, we introduce a novel and general technique for combining term-based transformation systems with existing language frontends. The technique is presented in the context of a scriptable analysis and transformation framework for Java built on top of the Eclipse Java compiler. The framework consists of an adapter automatically extracted from the abstract syntax tree of the compiler and an interpreter for the Stratego program transformation language. The adapter allows the Stratego interpreter to rewrite directly on the compiler AST. We illustrate the applicability of our system with scripts written in Stratego that perform framework and library-specific analyses and transformations."
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.042"
    "technical report (pdf)": "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-025.pdf"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "object-oriented programming"
  - "rule-based"
  - "Java"
  - "program analysis"
  - "Eclipse"
  - "completeness"
  - "data-flow language"
  - "graph transformation"
  - "interpreter"
  - "abstract syntax"
  - "Stratego/XT"
  - "transformation language"
  - "term rewriting"
  - "functional programming"
  - "Eclipse Java Compiler"
  - "points-to analysis"
  - "domain analysis"
  - "analysis"
  - "type system"
  - "reuse"
  - "data-flow programming"
  - "data-flow"
  - "source-to-source"
  - "graph-rewriting"
  - "logic programming"
  - "transformation system"
  - "compiler"
  - "model transformation"
  - "open compiler"
  - "subject-oriented programming"
  - "context-aware"
  - "logic"
  - "Spoofax"
  - "rewriting logic"
  - "rewriting"
  - "data-flow analysis"
  - "parsing"
  - "feature-oriented programming"
  - "open-source"
  - "transformation"
  - "Stratego"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KallebergV08"
  cites: 0
  citedby: 1
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "203"
  number: "2"
  pages: "21-36"
  kind: "article"
  key: "KallebergV08"
- title: "MontiCore: Modular Development of Textual Domain Specific Languages"
  author:
  - name: "Holger Krahn"
    link: "https://researchr.org/alias/holger-krahn"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  - name: "Steven Völkel"
    link: "https://researchr.org/alias/steven-v%C3%B6lkel"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69824-1_17"
  abstract: " Reuse is a key technique for a more efficient development and ensures the quality of the results. In object technology explicit encapsulation, interfaces, and inheritance are well-known principles for independent development that enable combination and reuse of developed artifacts. In this paper we apply modularity concepts for domain specific languages (DSLs) and discuss how they help to design new languages by extending existing ones and composing fragments to new DSLs. We use an extended grammar format with appropriate tool support that avoids redefinition of existing functionalities by introducing language inheritance and embedding as first class artifacts in a DSL definition. Language embedding and inheritance is not only assisted by the parser, but also by the editor, and algorithms based on tree traversal like context checkers, pretty printers, and code generators. We demonstrate that compositional engineering of new languages becomes a useful concept when starting to define project-individual DSLs using appropriate tool support. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69824-1_17"
  tags:
  - "parsing algorithm"
  - "rule-based"
  - "traversal"
  - "language engineering"
  - "composition"
  - "language design"
  - "principles"
  - "reuse"
  - "DSL"
  - "context-aware"
  - "Meta-Environment"
  - "parsing"
  - "design"
  - "meta-objects"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KrahnRV08"
  cites: 35
  citedby: 3
  pages: "297-315"
  booktitle: "Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  volume: "11"
  series: "Lecture Notes in Business Information Processing"
  publisher: "Springer"
  isbn: "978-3-540-69823-4"
  kind: "inproceedings"
  key: "KrahnRV08"
- title: "Heterogeneous Coupled Evolution of Software Languages"
  author:
  - name: "Sander Vermolen"
    link: "http://www.sandervermolen.nl"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_44"
  abstract: "As most software artifacts, meta-models can evolve. Their evolution requires conforming models to co-evolve along with them. Coupled evolution supports this. Its applicability is not limited to the modeling domain. Other domains are for example evolving grammars or database schemas. Existing approaches to coupled evolution focus on a single, homogeneous domain. They solve the co-evolution problems locally and repeatedly. In this paper we present a systematic, heterogeneous approach to coupled evolution. It provides an automatically derived domain specific transformation language; a means of executing transformations at the top level; a derivation of the coupled bottom level transformation; and it allows for generic abstractions from elementary transformations. The feasibility of the architecture is evaluated by applying it to data model evolution."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_44"
  tags:
  - "model-to-model transformation"
  - "software architecture"
  - "coupled"
  - "data-flow language"
  - "meta-model"
  - "XML"
  - "evolution"
  - "modeling language"
  - "heterogeneous"
  - "XML Schema"
  - "languages"
  - "modeling"
  - "transformation language"
  - "coupled evolution"
  - "architecture"
  - "language modeling"
  - "model"
  - "data-flow"
  - "software evolution"
  - "format evolution"
  - "source-to-source"
  - "model transformation"
  - "database"
  - "abstraction"
  - "software languages"
  - "Meta-Environment"
  - "systematic-approach"
  - "meta-objects"
  - "transformation"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/VermolenV08"
  cites: 0
  citedby: 3
  pages: "630-644"
  booktitle: "Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings"
  editor:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ileana Ober"
    link: "https://researchr.org/alias/ileana-ober"
  - name: "Jean-Michel Bruel"
    link: "https://researchr.org/alias/jean-michel-bruel"
  - name: "Axel Uhl"
    link: "https://researchr.org/alias/axel-uhl"
  - name: "Markus Völter"
    link: "http://www.voelter.de/"
  volume: "5301"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87874-2"
  kind: "inproceedings"
  key: "VermolenV08"
- title: "Program Transformation with Scoped Dynamic Rewrite Rules"
  author:
  - name: "Martin  Bravenboer"
    link: "http://martin.bravenboer.name/"
  - name: "Arthur van Dam"
    link: "https://researchr.org/profile/arthurvandam/publications"
  - name: "Karina Olmos"
    link: "https://researchr.org/profile/karinaolmos/publications"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2006"
  doi: "https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06"
  abstract: "The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting strategies. The second problem is addressed by the extension of rewriting strategies with scoped dynamic rewrite rules. Dynamic rules are defined at run-time and can access variables available from their definition context. Rules defined within a rule scope are automatically retracted at the end of that scope. In this paper, we explore the design space of dynamic rules, and their application to transformation problems. The technique is formally defined by extending the operational semantics underlying the program transformation language Stratego, and illustrated by means of several program transformations in Stratego, including constant propagation, bound variable renaming, dead code elimination, function inlining, and function specialization. "
  links:
    doi: "https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06"
    "technical report": "http://www.cs.uu.nl/research/techreps/UU-CS-2005-005.html"
  tags:
  - "programming languages"
  - "semantics"
  - "rule-based"
  - "formal semantics"
  - "graph transformation"
  - "dynamic rewrite rules"
  - "Stratego/XT"
  - "transformation language"
  - "term rewriting"
  - "language design"
  - "graph-rewriting"
  - "rules"
  - "operational semantics"
  - "context-aware"
  - "access control"
  - "rewriting"
  - "design"
  - "role-based access control"
  - "rewriting strategies"
  - "transformation"
  - "Stratego"
  - "program transformation"
  researchr: "https://researchr.org/publication/BravenboerDOV06"
  cites: 0
  citedby: 4
  journal: "Fundamenta Informaticae"
  volume: "69"
  number: "1-2"
  pages: "123-178"
  kind: "article"
  key: "BravenboerDOV06"
- title: "Parse Table Composition"
  author:
  - name: "Martin  Bravenboer"
    link: "http://martin.bravenboer.name/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_6"
  abstract: "Module systems, separate compilation, deployment of binary components, and dynamic linking have enjoyed wide acceptance in programming languages and systems. In contrast, the syntax of languages is usually defined in a non-modular way, cannot be compiled separately, cannot easily be combined with the syntax of other languages, and cannot be deployed as a component for later composition. Grammar formalisms that do support modules use whole program compilation. Current extensible compilers focus on source-level extensibility, which requires users to compile the compiler with a specific configuration of extensions. A compound parser needs to be generated for every combination of extensions. The generation of parse tables is expensive, which is a particular problem when the composition configuration is not fixed to enable users to choose language extensions. In this paper we introduce an algorithm for parse table composition to support separate compilation of grammars to parse table components. Parse table components can be composed (linked) efficiently at runtime, i.e. just before parsing. While the worst-case time complexity of parse table composition is exponential (like the complexity of parse table generation itself), for realistic language combination scenarios involving grammars for real languages, our parse table composition algorithm is an order of magnitude faster than computation of the parse table for the combined grammars. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_6"
  tags:
  - "parsing algorithm"
  - "programming languages"
  - "deployment"
  - "syntax definition"
  - "SDF"
  - "composition"
  - "source-to-source"
  - "parse table composition"
  - "compiler"
  - "programming"
  - "language composition"
  - "parsing"
  - "extensible language"
  - "ASF+SDF"
  - "open-source"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BravenboerV08"
  cites: 0
  citedby: 0
  pages: "74-94"
  booktitle: "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers"
  editor:
  - name: "Dragan Gasevic"
    link: "http://www.sfu.ca/~dgasevic/"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  volume: "5452"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00433-9"
  kind: "inproceedings"
  key: "BravenboerV08"
- title: "Mixing source and bytecode: a case for compilation by normalization"
  author:
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Martin  Bravenboer"
    link: "http://martin.bravenboer.name/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449772"
  abstract: "Language extensions increase programmer productivity by providing concise, often domain-specific syntax, and support for static verification of correctness, security, and style constraints. Language extensions can often be realized through translation to the base language, supported by preprocessors and extensible compilers. However, various kinds of extensions require further adaptation of a base compiler's internal stages and components, for example to support separate compilation or to make use of low-level primitives of the platform (e.g., jump instructions or unbalanced synchronization). To allow for a more loosely coupled approach, we propose an open compiler model based on normalization steps from a high-level language to a subset of it, the core language. We developed such a compiler for a mixed Java and (core) bytecode language, and evaluate its effectiveness for composition mechanisms such as traits, as well as statement-level and expression-level language extensions. "
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449772"
    "technical report (pdf)": "http://www.lclnet.nl/publications/TUD-SERG-2008-030.pdf"
    "project home page": "http://www.strategoxt.org/Stratego/TheDryadCompiler"
  tags:
  - "compilation by normalization"
  - "rule-based"
  - "Java"
  - "synchronization"
  - "translation"
  - "meta-model"
  - "modeling language"
  - "Stratego/XT"
  - "language modeling"
  - "composition"
  - "constraints"
  - "source-to-source"
  - "C++"
  - "Dryad"
  - "security"
  - "compiler"
  - "Meta-Environment"
  - "extensible language"
  - "systematic-approach"
  - "open-source"
  - "Stratego"
  - "JavaFront"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KatsBV08"
  cites: 44
  citedby: 3
  pages: "91-108"
  booktitle: "Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-215-3"
  kind: "inproceedings"
  key: "KatsBV08"
- title: "A Family of Syntax Definition Formalisms"
  author:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "1995"
  month: "May"
  abstract: "In this paper we design a syntax definition formalism as a family of formalisms. Starting with a small kernel, several features for syntax definition are designed orthogonally to each other. This provides a framework for constructing new formalisms by adapting and extending old ones. The formalism is developed with the algebraic specification formalism ASF+SDF. It provides the following features: lexical and context-free syntax, variables, disambiguation by priorities, regular expressions, character classes and modular definitions. New are the uniform treatment of lexical syntax, context-free syntax and variables, the treatment of regular expressions by normalization yielding abstract syntax without auxiliary sorts, regular expressions as result of productions and modules with hidden imports and renamings."
  links:
    successor: "https://researchr.org/publication/Visser97-SDF"
    "postscript": "http://www.st.ewi.tudelft.nl/~eelco/papers/P9504-7.ps"
  tags:
  - "syntax definition"
  - "SDF"
  - "lexical syntax"
  - "syntax definition formalism"
  - "abstract syntax"
  - "disambiguation"
  - "algebraic specification"
  - " algebra"
  - "context-aware"
  - "parsing"
  - "design"
  - "ASF+SDF"
  researchr: "https://researchr.org/publication/Visser95"
  cites: 0
  citedby: 0
  booktitle: "ASF+SDF 1995. A Workshop on Generating Tools from Algebraic Specifications"
  editor:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Vania Vieira Estrela"
    link: "http://academic.research.microsoft.com/Author/3361386"
  publisher: "Technical Report P9504, Programming Research Group, University of Amsterdam"
  kind: "inproceedings"
  key: "Visser95"
- title: "Building Program Optimizers with Rewriting Strategies"
  author:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289425"
  abstract: "We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid transformations on program terms can be described by a set of rewrite rules; rewriting strategies are used to describe when and how the various rules should be applied in order to obtain the desired optimization effects. Separating rules from strategies in this fashion makes it easier to reason about the behavior of the optimizer as a whole, compared to traditional monolithic optimizer implementations. We illustrate the expressiveness of our language by using it to describe a simple optimizer for an ML-like intermediate representation.The basic strategy language uses operators such as sequential composition, choice, and recursion to build transformers from a set of labeled unconditional rewrite rules. We also define an extended language in which the side-conditions and contextual rules that arise in realistic optimizer specifications can themselves be expressed as strategy-driven rewrites. We show that the features of the basic and extended languages can be expressed by breaking down the rewrite rules into their primitive building blocks, namely matching and building terms in variable binding environments. This gives us a low-level core language which has a clear semantics, can be implemented straightforwardly and can itself be optimized. The current implementation generates C code from a strategy specification. "
  links:
    doi: "http://doi.acm.org/10.1145/289423.289425"
    "postscript": "http://www.st.ewi.tudelft.nl/~eelco/papers/VBT98.ps"
  tags:
  - "programming languages"
  - "optimization"
  - "semantics"
  - "rule-based"
  - "meta programming"
  - "graph transformation"
  - "variable binding"
  - "Stratego/XT"
  - "transformation language"
  - "term rewriting"
  - "composition"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "program optimization"
  - "Meta-Environment"
  - "higher-order transformations"
  - "rewriting"
  - "rewriting strategies"
  - "transformation"
  - "Stratego"
  - "program transformation"
  researchr: "https://researchr.org/publication/VisserBT98"
  cites: 0
  citedby: 5
  pages: "13-26"
  booktitle: "Proceedings of the third ACM SIGPLAN international conference on Functional programming"
  editor:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "inproceedings"
  key: "VisserBT98"
- title: "Meta-programming with Concrete Object Syntax"
  author:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2002"
  doi: "https://doi.org/10.1007/3-540-45821-2_19"
  abstract: "Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalism SDF can be employed to fit any meta-programming language with concrete syntax notation for composing and analyzing object programs. As a case study, the addition of concrete syntax to the program transformation language Stratego is presented. The approach is then generalized to arbitrary meta-languages. "
  links:
    doi: "https://doi.org/10.1007/3-540-45821-2_19"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "object-oriented programming"
  - "concrete object syntax"
  - "syntax definition"
  - "meta programming"
  - "case study"
  - "SDF"
  - "meta-model"
  - "abstract syntax"
  - "Stratego/XT"
  - "transformation language"
  - "source-to-source"
  - "model transformation"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "parsing"
  - "scannerless parsing"
  - "systematic-approach"
  - "ASF+SDF"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "transformation"
  - "Stratego"
  - "program transformation"
  researchr: "https://researchr.org/publication/Visser02"
  cites: 23
  citedby: 6
  pages: "299-315"
  booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  editor:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "inproceedings"
  key: "Visser02"
- title: "Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions"
  author:
  - name: "Martin  Bravenboer"
    link: "http://martin.bravenboer.name/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028976.1029007"
  abstract: "Application programmer's interfaces give access to domain knowledge encapsulated in class libraries without providing the appropriate notation for expressing domain composition. Since object-oriented languages are designed for extensibility and reuse, the language constructs are often sufficient for expressing domain abstractions at the semantic level. However, they do not provide the right abstractions at the syntactic level. In this paper we describe MetaBorg, a method for providing <i>concrete syntax</i> for domain abstractions to application programmers. The method consists of <i>embedding</i> domain-specific languages in a general purpose host language and <i>assimilating</i> the embedded domain code into the surrounding host code. Instead of extending the implementation of the host language, the assimilation phase implements domain abstractions in terms of existing APIs leaving the host language undisturbed. Indeed, MetaBorg can be considered a method for promoting APIs to the language level. The method is supported by proven and available technology, i.e. the syntax definition formalism SDF and the program transformation language and toolset Stratego/XT. We illustrate the method with applications in three domains: code generation, XML generation, and user-interface construction."
  links:
    doi: "http://doi.acm.org/10.1145/1028976.1029007"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "concrete object syntax"
  - "syntax definition"
  - "meta programming"
  - "assimilation"
  - "SDF"
  - "XML"
  - "XML Schema"
  - "Stratego/XT"
  - "transformation language"
  - "composition"
  - "MetaBorg"
  - "language design"
  - "reuse"
  - "code generation"
  - "subject-oriented programming"
  - "abstraction"
  - "Meta-Environment"
  - "extensible language"
  - "ASF+SDF"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "transformation"
  - "Stratego"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BravenboerV04"
  cites: 51
  citedby: 8
  pages: "365-383"
  booktitle: "Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004"
  editor:
  - name: "John M. Vlissides"
    link: "https://researchr.org/alias/john-m.-vlissides"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  address: "Vancouver, BC, Canada"
  publisher: "ACM"
  isbn: "1-58113-831-8"
  kind: "inproceedings"
  key: "BravenboerV04"
- title: "Xtext: implement your language faster than the quick and dirty way"
  author:
  - name: "M. Eysholdt"
    link: "https://researchr.org/alias/m.-eysholdt"
  - name: "H. Behrens"
    link: "https://researchr.org/alias/h.-behrens"
  year: "2010"
  abstract: "Whether there is an (emerging or legacy) Domain-Specific Language to increase the expressiveness of your coworkers or whether you are about to invent a new General Purpose Prgramming Language: Tool support that goes beyond a parser/compiler is essential to make other people adopt your language and to be more productive. Xtext is an award- winning framework to build such tooling. In this tutorial we explain how to define a language and a statically typed, EMF-based Abstract Syntax Tree using only a grammar. We then generate a parser, a serializer and a smart editor from it. The editor provides many features out-of-the-box, such as syntax highlighting, content-assist, folding, jump-to-declaration and reverse-reference lookup across multiple files. Then, it is shown how literally every aspects of the language and its complementary tool support can be customized using Dependency Injection, especially how this can be done for linking, formatting and validation. As an outlook, we will demonstrate how to integrate a custom language with Java, how Xtext maintains a workspace-wide index of named elements and how to implement incremental code generation or attach an interpreter. "
  tags:
  - "rule-based"
  - "Java"
  - "interpreter"
  - "abstract syntax"
  - "EMF"
  - "code generation"
  - "compiler"
  - "parsing"
  - "incremental"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/eysholdt2010xtext"
  cites: 0
  citedby: 0
  pages: "307-309"
  booktitle: "Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion"
  organization: "ACM"
  kind: "inproceedings"
  key: "eysholdt2010xtext"
- title: "Derivation and Refinement of Textual Syntax for Models"
  author:
  - name: "Florian  Heidenreich"
    link: "http://fheidenreich.de/work/"
  - name: "Jendrik  Johannes"
    link: "http://jjohannes.de"
  - name: "Sven  Karol"
    link: "http://st.inf.tu-dresden.de"
  - name: "Mirko  Seifert"
    link: "http://www1.inf.tu-dresden.de/~ms72/"
  - name: "Christian  Wende"
    link: "http://st.inf.tu-dresden.de"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02674-4_9"
  abstract: "Textual Syntax as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical representations. To support the design and implementation of text editing facilities many concrete syntax and model mapping tools have emerged. Despite the maturity of these tools, users still spend considerable effort to specify syntaxes and generate editors even for simple metamodels. To reduce this effort, we propose to refine a specification that is automatically derived from a given metamodel. We argue that defaults in a customisable setting enable developers to quickly realise text-based editors for models. In particular in settings where metamodels evolve, such a procedure is beneficial. To evaluate this idea we present EMFText, an EMF/Eclipse integrated tool for agile Textual Syntax development. We show how default syntax can easily be tailored and refined to obtain a custom text editor for EMF models and demonstrate our approach by two examples."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02674-4_9"
  tags:
  - "rule-based"
  - "Eclipse"
  - "model editor"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "refinement"
  - "language engineering"
  - "software language engineering"
  - "language modeling"
  - "language design"
  - "metamodelling"
  - "EMF"
  - "model-driven development"
  - "software engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  - "emftext"
  - "design"
  - "systematic-approach"
  - "concrete syntax"
  - "textual concrete syntax"
  researchr: "https://researchr.org/publication/HeidenreichJKSW09"
  cites: 0
  citedby: 1
  pages: "114-129"
  booktitle: "Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Alan Hartman"
    link: "https://researchr.org/alias/alan-hartman"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  volume: "5562"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02673-7"
  kind: "inproceedings"
  key: "HeidenreichJKSW09"
- title: "Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming"
  author:
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Anthony M. Sloane"
    link: "http://www.comp.mq.edu.au/~asloane"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00722-4_11"
  abstract: "Attribute grammars are a powerful specification formalism for tree-based computation, particularly for software language processing. Various extensions have been proposed to abstract over common patterns in attribute grammar specifications. These include various forms of copy rules to support non-local dependencies, collection attributes, and expressing dependencies that are evaluated to a fixed point. Rather than implementing extensions natively in an attribute evaluator, we propose attribute decorators that describe an abstract evaluation mechanism for attributes, making it possible to provide such extensions as part of a library of decorators. Inspired by strategic programming, decorators are specified using generic traversal operators. To demonstrate their effectiveness, we describe how to employ decorators in name, type, and flow analysis. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00722-4_11"
    "technical report (pdf)": "http://www.lclnet.nl/publications/TUD-SERG-2008-038a.pdf"
    "project home page": "http://strategoxt.org/Stratego/Aster"
  tags:
  - "programming languages"
  - "rule-based"
  - "attribute grammars"
  - "program analysis"
  - "etaps"
  - "data-flow language"
  - "pattern language"
  - "generic programming"
  - "Stratego/XT"
  - "traversal"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "strategic programming"
  - "programming"
  - "rewriting"
  - "data-flow analysis"
  - "Aster"
  - "grammar"
  - "Stratego"
  researchr: "https://researchr.org/publication/KatsSV09"
  cites: 36
  citedby: 1
  pages: "142-157"
  booktitle: "Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  editor:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "5501"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00721-7"
  kind: "inproceedings"
  key: "KatsSV09"