publications:
- title: "Domain-driven design: tackling complexity in the heart of software"
  author:
  - name: "Eric Evans"
    link: "http://www.domainlanguage.com/"
  year: "2004"
  links:
    "addison-wesley": "http://www.informit.com/store/product.aspx?isbn=9780321125217"
  tags:
  - "domain-driven design"
  - "design complexity"
  - "design"
  researchr: "https://researchr.org/publication/Evans-2004"
  cites: 0
  citedby: 0
  publisher: "Addison-Wesley"
  kind: "book"
  key: "Evans-2004"
- title: "PIL: A Platform Independent Language for Retargetable DSLs"
  author:
  - name: "Zef  Hemel"
    link: "http://zef.me"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_17"
  abstract: "Intermediate languages are used in compiler construction to simplify retargeting compilers to multiple machine architectures. In the implementation of domain-specific languages (DSLs), compilers typically generate high-level source code, rather than low-level machine instructions. DSL compilers target a software platform, i.e. a programming language with a set of libraries, deployable on one or more operating systems. DSLs enable targeting multiple software platforms if its abstractions are platform independent. While transformations from DSL to each targeted platform are often conceptually very similar, there is little reuse between transformations due to syntactic and API differences of the target platforms, making supporting multiple platforms expensive. In this paper, we discuss the design and implementation of PIL, a Platform Independent Language, an intermediate language providing a layer of abstraction between DSL and target platform code, abstracting from syntactic and API differences between platforms, thereby removing the need for platform-specific transformations. We discuss the use of PIL in an implemementation of WebDSL, a DSL for building web applications."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_17"
  tags:
  - "DSL"
  researchr: "https://researchr.org/publication/HemelV09"
  cites: 0
  citedby: 1
  pages: "224-243"
  booktitle: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers"
  editor:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Dragan Gasevic"
    link: "http://www.sfu.ca/~dgasevic/"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  volume: "5969"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12106-7"
  kind: "inproceedings"
  key: "HemelV09"
- title: "WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications"
  author:
  - name: "Zef  Hemel"
    link: "http://zef.me"
  - name: "Ruben  Verhaaf"
    link: "http://www.linkedin.com/pub/ruben-verhaaf/3/a73/2ab"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_8"
  abstract: "Workflow languages are designed for the high-level description of processes and are typically not suitable for the generation of complete applications. In this paper, we present WebWorkFlow, an object-oriented workflow modeling language for the high-level description of workflows in web applications. Workflow descriptions define procedures operating on domain objects. Procedures are composed using sequential and concurrent process combinators. WebWorkFlow is an embedded language, extending WebDSL, a domain-specific language for web application development, with workflow abstractions. The extension is implemented by means of model-to-model transformations. Rather than providing an exclusive workflow language, WebWorkFlow supports interaction with the underlying WebDSL language. WebWorkFlow supports most of the basic workflow control patterns. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_8"
    "technical report (pdf)": "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-029.pdf"
  tags:
  - "workflow patterns"
  - "model-to-model transformation"
  - "interaction design"
  - "WebDSL"
  - "transformation engineering"
  - "completeness"
  - "pattern language"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "language engineering"
  - "transformation language"
  - "language modeling"
  - "web engineering"
  - "language design"
  - "model-driven development"
  - "source-to-source"
  - "model-driven engineering"
  - "object-role modeling"
  - "model transformation"
  - "web applications"
  - "DSL"
  - "abstraction"
  - "Meta-Environment"
  - "workflow"
  - "process modeling"
  - "WebWorkFlow"
  - "meta-objects"
  - "transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/HemelVV08"
  cites: 0
  citedby: 6
  pages: "113-127"
  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: "HemelVV08"
- 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: "Domain-Specific Multimodeling"
  author:
  - name: "Anders Hessellund"
    link: "http://www.itu.dk/~hessellund"
  year: "2009"
  doi: "http://www.itu.dk/people/hessellund/work/hessellund-thesis-preprint.pdf"
  abstract: "Enterprise systems are complex artifacts. They are hard to build, manage, understand, and evolve. Existing software development paradigms fail to properly address challenges such as system size, domain complexity, and software evolution when development is scaled to enterprise systems. We propose domain-specific multimodeling as a development paradigm to tackle these challenges in a language-oriented manner. The different concerns of a system are conceptually separated and made explicit as independent domain-specific languages. This approach increases productivity and quality by raising the overall level of abstraction. It does, however, also introduce a new problem of coordinating multiple different languages in a single system. We call this problem the coordination problem. In this thesis, we present the coordination method for domain-specific multimodeling that explicitly targets this coordination problem. By systematically identifying language interactions, we can specify a coordination model for the system. Specifically, we explicitly identify name bindings and references across language boundaries. We argue that such a coordination model facilitates consistency, navigation, and guidance during development with multiple languages. An evaluation of the method in two medium-sized case studies shows promising results."
  links:
    doi: "http://www.itu.dk/people/hessellund/work/hessellund-thesis-preprint.pdf"
  tags:
  - "case study"
  - "meta-model"
  - "modeling language"
  - "language modeling"
  - "model-driven development"
  - "software evolution"
  - "consistency"
  - "abstraction"
  - "Meta-Environment"
  - "systematic-approach"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Hessellund%3A2009"
  cites: 0
  citedby: 0
  advisor:
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  - name: "Kasper Østerbye"
    link: "https://researchr.org/alias/kasper-%C3%B8sterbye"
  kind: "phdthesis"
  key: "Hessellund:2009"
- title: "Static consistency checking of web applications with WebDSL"
  author:
  - name: "Zef  Hemel"
    link: "http://zef.me"
  - name: "Danny M.  Groenewegen"
    link: "https://www.linkedin.com/in/dannygroenewegen/"
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2011"
  doi: "https://doi.org/10.1016/j.jsc.2010.08.006"
  abstract: "Modern web application development frameworks provide web application developers with high-level abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these errors are often obscure and hard to trace back to the source of the inconsistency. A major part of this inadequate consistency checking can be traced back to the lack of linguistic integration of these frameworks. Parts of an application are defined with separate domain-specific languages, which are not checked for consistency with the rest of the application. Examples include regular expressions, query languages and XML-based languages for definition of user interfaces. We give an overview and analysis of typical problems arising in development with frameworks for web application development, with Ruby on Rails, Lift and Seam as representatives. To remedy these problems, in this paper, we argue that domain-specific languages should be designed from the ground up with static verification and cross-aspect consistency checking in mind, providing linguistic integration of domain-specific sub-languages. We show how this approach is applied in the design of WebDSL, a domain-specific language for web applications, by examining how its compiler detects inconsistencies not caught by web frameworks, providing accurate and clear error messages. Furthermore, we show how this consistency analysis can be expressed with a declarative rule-based approach using the Stratego transformation language."
  links:
    doi: "https://doi.org/10.1016/j.jsc.2010.08.006"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jsc/HemelGKV11"
    "technical report ": "http://resolver.tudelft.nl/uuid:588b78a1-f8d8-45fc-855f-fd03699725cf"
    "jsc": "https://doi.org/10.1016/j.jsc.2010.08.006"
  tags:
  - "model-to-model transformation"
  - "WebDSL"
  - "rule-based"
  - "application framework"
  - "model checking"
  - "XML"
  - "XML Schema"
  - "transformation language"
  - "points-to analysis"
  - "domain analysis"
  - "analysis"
  - "language design"
  - "static analysis"
  - "model-driven development"
  - "source-to-source"
  - "rules"
  - "C++"
  - "compiler"
  - "model transformation"
  - "web applications"
  - "consistency"
  - "abstraction"
  - "design"
  - "systematic-approach"
  - "open-source"
  - "transformation"
  - "Ruby on Rails"
  - "Stratego"
  - "Ruby"
  - "query language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/HemelGKV11"
  cites: 0
  citedby: 0
  journal: "Journal of Symbolic Computation"
  volume: "46"
  number: "2"
  pages: "150-182"
  kind: "article"
  key: "HemelGKV11"
- title: "The Single Model Principle"
  author:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Jonathan S. Ostroff"
    link: "https://researchr.org/alias/jonathan-s.-ostroff"
  year: "2002"
  doi: "http://www.jot.fm/issues/issue_2002_11/column6"
  links:
    doi: "http://www.jot.fm/issues/issue_2002_11/column6"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "single model principle"
  researchr: "https://researchr.org/publication/PaigeO02"
  cites: 0
  citedby: 0
  journal: "Journal of Object Technology"
  volume: "1"
  number: "5"
  pages: "63-81"
  kind: "article"
  key: "PaigeO02"
- title: "Domain-Specific Languages"
  author:
  - name: "Martin Fowler"
    link: "http://martinfowler.com/"
  year: "2010"
  abstract: "Designed as a wide-ranging guide to Domain Specific Languages (DSLs) and how to approach building them, this book covers a variety of different techniques available for DSLs. The goal is to provide readers with enough information to make an informed choice about whether or not to use a DSL and what kinds of DSL techniques to employ. Part I is a 150-page narrative overview that gives you a broad understanding of general principles.  The reference material in Parts II through VI provides the details and examples you will need to get started using the various techniques discussed.  Both internal and external DSL topics are covered, in addition to alternative computational models and code generation. Although the general principles and patterns presented can be used with whatever programming language you happen to be using, most of the examples are in Java or C#. "
  tags:
  - "programming languages"
  - "Java"
  - "meta programming"
  - "pattern language"
  - "meta-model"
  - "modeling language"
  - "language modeling"
  - "language design"
  - "principles"
  - "C++"
  - "code generation"
  - "information models"
  - "DSL"
  - "programming"
  - "Meta-Environment"
  - "systematic-approach"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Fowler2011"
  cites: 0
  citedby: 0
  publisher: "Addison Wesley"
  kind: "book"
  key: "Fowler2011"
- title: "Engineering Modelling Languages: A Precise Meta-Modelling Approach"
  author:
  - name: "Tony Clark"
    link: "http://itcentre.tvu.ac.uk/~clark/"
  - name: "Andy Evans"
    link: "https://researchr.org/alias/andy-evans"
  - name: "Stuart Kent"
    link: "https://researchr.org/alias/stuart-kent"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2306/23060159.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2306/23060159.htm"
  tags:
  - "meta-model"
  - "modeling language"
  - "language engineering"
  - "language modeling"
  - "model-driven engineering"
  - "Meta-Environment"
  - "systematic-approach"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClarkEK02%3A1"
  cites: 0
  citedby: 0
  pages: "159-173"
  booktitle: "Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings"
  editor:
  - name: "Ralf-Detlef Kutsche"
    link: "https://researchr.org/alias/ralf-detlef-kutsche"
  - name: "Herbert Weber"
    link: "https://researchr.org/alias/herbert-weber"
  volume: "2306"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43353-8"
  kind: "inproceedings"
  key: "ClarkEK02:1"
- title: "Modeling Modeling"
  author:
  - name: "Pierre-Alain Muller"
    link: "http://www.irisa.fr/triskell/members/pierre-alain.muller/"
  - name: "Frederic Fondement"
    link: "https://researchr.org/alias/frederic-fondement"
  - name: "Benoit Baudry"
    link: "https://researchr.org/alias/benoit-baudry"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_2"
  abstract: "Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Moli\\`{e}re's Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them. Then, we define a canonical set of relations that can be used to express various kinds of representation relations and we propose a graphical concrete syntax to represent these relations. Hence, this paper is a contribution towards a theory of modeling."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_2"
  tags:
  - "rule-based"
  - "syntax definition"
  - "meta-model"
  - "modeling"
  - "modeling modeling"
  - "software engineering"
  - "model-driven engineering"
  - "software models"
  - "reviewing"
  - "e-science"
  - "Meta-Environment"
  - "theory of modeling"
  - "systematic-approach"
  - "systematic review"
  - "concrete syntax"
  researchr: "https://researchr.org/publication/muller%3Amodeling%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Model Driven Engineering Languages and Systems"
  kind: "inproceedings"
  key: "muller:modeling:2009"
- title: "Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns"
  author:
  - name: "Danny M.  Groenewegen"
    link: "https://www.linkedin.com/in/dannygroenewegen/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ICWE.2008.15"
  abstract: "In this paper, we present the extension of WebDSL, a domain-specific language for web application development, with abstractions for declarative definition of access control.  The extension supports the definition of a wide range of access control policies concisely and transparently as a separate concern.  In addition to regulating the access to pages and actions, access control rules are used to infer navigation options not accessible to the current user, preventing the presentation of inaccessible links.  The extension is an illustration of a general approach to the design of domain-specific languages for different technical domains to support separation of concerns in application development, while preserving linguistic integration. This approach is realized by means of a transformational semantics that weaves separately defined aspects into an integrated implementation. "
  links:
    doi: "http://dx.doi.org/10.1109/ICWE.2008.15"
    "webdsl": "http://webdsl.org"
  tags:
  - "WebDSL"
  - "semantics"
  - "rule-based"
  - "separation of concerns"
  - "transformation language"
  - " action semantics"
  - "language design"
  - "weaving"
  - "rules"
  - "web applications"
  - "DSL"
  - "abstraction"
  - "access control policies"
  - "access control"
  - "aspect weaving"
  - "design"
  - "role-based access control"
  - "systematic-approach"
  - "transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/GroenewegenV08"
  cites: 26
  citedby: 7
  pages: "175-188"
  booktitle: "Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA"
  editor:
  - name: "Daniel Schwabe"
    link: "https://researchr.org/alias/daniel-schwabe"
  - name: "Francisco Curbera"
    link: "https://researchr.org/alias/francisco-curbera"
  - name: "Paul Dantzig"
    link: "https://researchr.org/alias/paul-dantzig"
  publisher: "IEEE"
  isbn: "978-0-7695-3261-5"
  kind: "inproceedings"
  key: "GroenewegenV08"
- title: "When and how to develop domain-specific languages"
  author:
  - name: "Marjan Mernik"
    link: "http://lpm.uni-mb.si/mernik/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Anthony M. Sloane"
    link: "http://www.comp.mq.edu.au/~asloane"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1118890.1118892"
  abstract: "Domain-specific languages (DSLs) are languages tailored to a specific application domain. They offer substantial gains in expressiveness and ease of use compared with general-purpose programming languages in their domain of application. DSL development is hard, requiring both domain knowledge and language development expertise. Few people have both. Not surprisingly, the decision to develop a DSL is often postponed indefinitely, if considered at all, and most DSLs never get beyond the application library stage.Although many articles have been written on the development of particular DSLs, there is very limited literature on DSL development methodologies and many questions remain regarding when and how to develop a DSL. To aid the DSL developer, we identify patterns in the decision, analysis, design, and implementation phases of DSL development. Our patterns improve and extend earlier work on DSL design patterns. We also discuss domain analysis tools and language development systems that may help to speed up DSL development. Finally, we present a number of open problems. "
  links:
    doi: "http://doi.acm.org/10.1145/1118890.1118892"
  tags:
  - "programming languages"
  - "DSL engineering"
  - "program analysis"
  - "pattern language"
  - "DSL implementation approach"
  - "dsl examples"
  - "language engineering"
  - "points-to analysis"
  - "domain analysis"
  - "analysis"
  - "language design"
  - "source-to-source"
  - "survey"
  - "DSL"
  - "programming"
  - "design"
  - "systematic-approach"
  - "open-source"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/MernikHS05"
  cites: 154
  citedby: 3
  journal: "ACM Computing Surveys"
  volume: "37"
  number: "4"
  pages: "316-344"
  kind: "article"
  key: "MernikHS05"
- title: "Overview of Generative Software Development"
  author:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11527800_25"
  abstract: "System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In system family engineering, new system variants can be rapidly created based on a set of reusable assets (such as a common architecture, components, models, etc.). Generative software development aims at modeling and implementing system families in such a way that a given system can be automatically generated from a specification written in one or more textual or graphical domain-specific languages. This paper gives an overview of the basic concepts and ideas of generative software development including DSLs, domain and application engineering, generative domain models, networks of domains, and technology projections. The paper also discusses the relationship of generative software development to other emerging areas such as Model Driven Development and Aspect-Oriented Software Development."
  links:
    doi: "http://dx.doi.org/10.1007/11527800_25"
  tags:
  - "reusable components"
  - "rule-based"
  - "software architecture"
  - "software components"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "language engineering"
  - "software language engineering"
  - "architecture"
  - "language modeling"
  - "software component"
  - "reuse"
  - "model-driven development"
  - "software engineering"
  - "model-driven engineering"
  - "generative software development"
  - "DSL"
  - "Meta-Environment"
  - "systematic-approach"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Czarnecki-UPP-2004"
  cites: 0
  citedby: 0
  pages: "326-341"
  booktitle: "Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers"
  editor:
  - name: "Jean-Pierre Banâtre"
    link: "https://researchr.org/alias/jean-pierre-ban%C3%A2tre"
  - name: "Pascal Fradet"
    link: "https://researchr.org/alias/pascal-fradet"
  - name: "Jean-Louis Giavitto"
    link: "https://researchr.org/alias/jean-louis-giavitto"
  - name: "Olivier Michel"
    link: "https://researchr.org/alias/olivier-michel"
  volume: "3566"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27884-2"
  kind: "inproceedings"
  key: "Czarnecki-UPP-2004"
- 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: "Programming the Mobile Web with Mobl"
  author:
  - name: "Zef  Hemel"
    link: "http://zef.me"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2011"
  month: "January"
  abstract: "A new generation of mobile touch devices, such as the iPhone, Android and iPad, are equipped with powerful, modern browsers. However, regular websites are not optimized for the specific features and constraints of these devices, such as limited screen estate, unreliable Internet access, touch-based interaction patterns, and features such as GPS. While recent advances in web technology enable web developers to build web applications that take advantage of the unique properties of mobile devices, developing such applications is not a clean, well-integrated experience. Developers are required to use many loosely coupled languages with limited tool support and application code is often verbose and imperative. We introduce mobl, a new language designed to declaratively construct mobile web applications. Mobl integrates languages for user interface design, data modeling and querying, scripting and web services into a single, unified language that is flexible, expressive, enables early detection of errors, and has good IDE support. We illustrate the design of the language with the implementation of ConfPlan, an application for keeping track of the schedule of conference events."
  tags:
  - "programming languages"
  - "optimization"
  - "interaction design"
  - "rule-based"
  - "meta programming"
  - "data-flow language"
  - "pattern language"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "web service"
  - "language modeling"
  - "language design"
  - "constraints"
  - "data-flow programming"
  - "data-flow"
  - "mobile code"
  - "code generation"
  - "web services"
  - "web applications"
  - "programming"
  - "program optimization"
  - "Meta-Environment"
  - "design"
  - "mobile"
  - "query language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/HemelVisser2011A"
  cites: 0
  citedby: 0
  institution: "Delft University of Technology"
  number: "TUD-SERG-2011-01"
  kind: "techreport"
  key: "HemelVisser2011A"
- title: "The Spoofax language workbench: rules for declarative specification of languages and IDEs"
  author:
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2010"
  doi: "https://doi.org/10.1145/1869459.1869497"
  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."
  links:
    doi: "https://doi.org/10.1145/1869459.1869497"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/KatsV10"
    "acm dl": "https://doi.org/10.1145/1932682.1869497"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "workbench"
  - "semantics"
  - "rule-based"
  - "Eclipse"
  - "meta programming"
  - "model editor"
  - "graph transformation"
  - "meta-model"
  - "transformation language"
  - "architecture"
  - "reuse"
  - "model-driven development"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "code completion"
  - "code generation"
  - "model transformation"
  - "programming"
  - "language workbench"
  - "Spoofax"
  - "Meta-Environment"
  - "rewriting"
  - "parsing"
  - "meta-objects"
  - "transformation"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KatsV10"
  cites: 0
  citedby: 2
  pages: "444-463"
  booktitle: "Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA"
  editor:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siobhán Clarke"
    link: "https://www.cs.tcd.ie/Siobhan.Clarke/"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  address: "Reno/Tahoe, Nevada"
  publisher: "ACM"
  isbn: "978-1-4503-0203-6"
  kind: "inproceedings"
  key: "KatsV10"
- title: "MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT"
  author:
  - name: "Martin  Bravenboer"
    link: "http://martin.bravenboer.name/"
  - name: "René de Groot"
    link: "http://strategoxt.org/Main/ReneDeGroot"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11877028_10"
  abstract: "General-purpose programming languages provide limited facilities for expressing domain-specific concepts in a natural manner. All domain concepts need to be captured using the same generic syntactic and semantic constructs. Generative programming methods and program transformation techniques can be used to overcome this lack of abstraction in general-purpose languages. In this tutorial we describe the MetaBorg method for embedding domain-specific languages, tailored syntactically and semantically to the application domain at hand, in a general-purpose language. MetaBorg is based on Stratego/XT, a language and toolset for the implementation of program transformation systems, which is used for the definition of syntactic embeddings and assimilation of the embedded constructs into the surrounding code. We illustrate MetaBorg with three examples. JavaSwul is a custom designed language for implementing graphical user-interfaces, which provides high-level abstractions for component composition and event-handling. JavaRegex is a new embedding of regular expression matching and string rewriting. JavaJava is an embedding of Java in Java for generating Java code. For these cases we show how Java programs in these domains become dramatically more readable, and we give an impression of the implementation of the language embeddings. "
  links:
    doi: "http://dx.doi.org/10.1007/11877028_10"
  tags:
  - "generative programming"
  - "programming languages"
  - "rule-based"
  - "transformation engineering"
  - "Java"
  - "generic programming"
  - "assimilation"
  - "graph transformation"
  - "Stratego/XT"
  - "language engineering"
  - "domain-specific language embedding"
  - "transformation language"
  - "composition"
  - "MetaBorg"
  - "language design"
  - "graph-rewriting"
  - "transformation system"
  - "language embedding"
  - "DSL"
  - "programming"
  - "abstraction"
  - "language composition"
  - "rewriting"
  - "transformation"
  - "Stratego"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BravenboerGV06"
  cites: 0
  citedby: 3
  pages: "297-311"
  booktitle: "Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers"
  editor:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  volume: "4143"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45778-X"
  kind: "inproceedings"
  key: "BravenboerGV06"