Topic T3A: Meta-languages

Summary

• Requested in 18/26 calls
• Requested in 17/19 pure calls (2008–2026 with the longest streak of 9 years)
• Primary tagged in 21/26 paper bundles
• Primary tagged in 15/19 pure proceedings (2009–2026 with the longest streak of 10 years)
• Secondary tagged in 18/26 paper bundles
• Secondary tagged in 13/19 pure proceedings (2008–2025 with the longest streak of 8 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (39 times)
  • T1D: Composition (21 times)
  • T1B: Static Semantics (17 times)
• Top 3 contributors:
  • Eric Van Wyk (9 times)
  • Görel Hedin (8 times)
  • Emma Söderberg (6 times)

List of papers (89)

• (ATEM 2006 SI) Extending Grammars and Metamodels for Reuse: the Reuseware Approach (Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann) T1E T1D T4A T3A
• (ATEM 2006 SI) Formalising Model Transformation Rules for UML/MOF 2 (Carsten Amelunxen, Andy Schürr) T3B T5D T3A T4A
• (ATEM 2006 SI) Learning Context-Free Grammar Rules from a Set of Program (Alpana Dubey, Pankaj Jalote, Shubhani Aggarwal) T5B T2A T5E T3A
• (ATEM 2006 SI) Integration of Safety Analysis in Model-Driven Software Development (Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso) T1D T5A T4B T3A
• (SLE 2008) Engineering a DSL for Software Traceability (Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Fernandes) T5G T3C T3A
• (SLE 2008 SI) A Flexible Infrastructure for Multilevel Language Engineering (Colin Atkinson, Matthias Gutheil, Bastian Kennel) T4A T3A T1D
• (SLE 2008 SI) Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring (Nicholas A. Kraft, Edward Duffy, Brian A. Malloy) T5B T4C T3A
• (SLE 2008 SI) FAML: A Generic Metamodel for MAS Development (Ghassan Beydoun, Graham Low, Brian Henderson-Sellers, Haralambos Mouratidis, Jorge J. Gómez-Sanz, Juán Pavón, César González-Pérez) T3A T1A T3C
• (SLE 2009) If MDE Is the Solution, Then What Is the Problem? (Jean Bézivín) T6D T3A T4A
• (SLE 2009) Model Transformation Languages Relying on Models as ADTs (Jerónimo Irazábal, Clàudia Pons) T3B T3A T5D
• (SLE 2009) Ontological Metamodeling with Explicit Instantiation (Alfons Laarman, Ivan Kurtev) T3E T3A T5D
• (SLE 2009) An Automated Process for Implementing Multilevel Domain Models (Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier) T3A T4A T1A
• (SLE 2009) Domain-Specific Metamodelling Languages for Software Language Engineering (Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid) T3A T4A T3C
• (SLE 2009) Closing the Gap between Modelling and Java (Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende) T4B T3A T1B
• (SLE 2010) Automated Selective Caching for Reference Attribute Grammars (Emma Söderberg, Görel Hedin) T5F T3A T5E
• (SLE 2010) Reference Attribute Grammars for Metamodel Semantics (Christoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann) T1C T3A T4A
• (SLE 2010) Interactive Disambiguation of Meta Programs with Concrete Object Syntax (Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser) T3A T4A T1A
• (SLE 2011) Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (Paul Klint, Bert Lisser, Atze van der Ploeg) T4A T3A T4F
• (SLE 2011) Integrating Attribute Grammar and Functional Programming Language Features (Ted Kaminski, Eric Van Wyk) T3A T1D T4A
• (SLE 2011) Parse Forest Diagnostics with Dr. Ambiguity (Hendrikus J. S. Basten, Jurgen Vinju) T5B T4A T3A
• (SLE 2011) RLSRunner: Linking Rascal with K for Program Analysis (Mark Hills, Paul Klint, Jurgen Vinju) T4A T3A T5B
• (SLE 2012) Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs (Tijs van der Storm, William R. Cook, Alex Loh) T3A T1D T4D
• (SLE 2012) Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (Anthony M. Sloane) T5B T5F T3A
• (SLE 2012) Termination Analysis for Higher-Order Attribute Grammars (Lijesh Krishnan, Eric Van Wyk) T5D T5B T3A
• (SLE 2012) Metamodelling for Grammarware Researchers (Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack) T6D T3A T4A
• (SLE 2012) Grammatical Inference in Software Engineering: An Overview of the State of the Art (Andrew W. Stevenson, James R. Cordy) T4G T3A T5B
• (SLE 2012) Island Grammar-Based Parsing Using GLL and Tom (Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott) T4A T1D T3A
• (SLE 2012) Layout-Sensitive Generalized Parsing (Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann) T4A T1D T3A
• (SLE 2012) PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (Alessandro Barenghi, Ermes Viviani, Stefano Crespi Reghizzi, Dino Mandrioli, Matteo Pradella) T4A T5F T3A
• (SLE 2012) Declarative Name Binding and Scope Rules (Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser) T1B T3A T4A
• (SLE 2012) Modular Well-Definedness Analysis for Attribute Grammars (Ted Kaminski, Eric Van Wyk) T5B T1D T3A T5D
• (SLE 2012) Meta-language Support for Type-Safe Access to External Resources (Mark Hills, Paul Klint, Jurgen Vinju) T3A T1B T3F T4A
• (SLE 2012 SI) A tutorial on metamodelling for grammar researchers (Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack) T3A T4A T6D T1A
• (SLE 2012 SI) The design and implementation of Object Grammars (Tijs van der Storm, William R. Cook, Alex Loh) T3A T1D T4A T3C
• (SLE 2013) Micropatterns in Grammars (Vadim Zaytsev) T5B T3A T2B
• (SLE 2013) Safe Specification of Operator Precedence Rules (Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen Vinju) T1A T3A T3B
• (SLE 2013) Detecting Ambiguity in Programming Language Grammars (Naveneetha Vasudevan, Laurence Tratt) T5B T5E T3A
• (SLE 2013) Circular Higher-Order Reference Attribute Grammars (Emma Söderberg, Görel Hedin) T3A T5B T1D
• (SLE 2013) Mapping-Aware Megamodeling: Design Patterns and Laws (Zinovy Diskin, Sahar Kokaly, Tom Maibaum) T3A T4B T5D
• (SLE 2013) Partial Instances via Subclassing (Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski) T1A T5D T3A
• (SLE 2013) Guided Grammar Convergence (Vadim Zaytsev) T5B T4B T3A T3B
• (SLE 2014) A Metamodel Family for Role-Based Modeling and Programming Languages (Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann) T1A T3A T1D T1B
• (SLE 2014) Respect Your Parents: How Attribution and Rewriting Can Get Along (Anthony M. Sloane, Matthew Roberts, Len Hamey) T3A T3B T1C
• (SLE 2014) Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (Tom Ridge) T5B T5F T5D T3A
• (SLE 2014) Origin Tracking in Attribute Grammars (Kevin Williams, Eric Van Wyk) T3A T5G T3B T1C
• (SLE 2014 SI) Declarative rewriting through circular nonterminal attributes (Emma Söderberg, Görel Hedin) T3A T3B T1C T5E
• (SLE 2014 SI) Bounded seas (Jan Kurš, Mircea Lungu, Rathesan Iyadurai, Oscar Nierstrasz) T3A T1D T1E T4A
• (SLE 2015) Melange: A Meta-Language for Modular and Reusable Development of DSLs (Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jezéquél) T3A T1D T1E T3C
• (SLE 2015) Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview (Christoff Bürger) T1B T3A T5B T4B
• (SLE 2015) Parsing Expression Grammars Made Practical (Nicolas Laurent, Kim Mens) T3A T1A T1D T4D
• (SLE 2016) Redex: A Language for Lightweight Semantics Engineering (Robert Bruce Findler) T3A T1C T1B T5C
• (SLE 2017) Engineering Meta-Languages for Specifying Software Languages (Peter D. Mosses) T3A T1C T4A T5D
• (SLE 2017) Red Shift: Procedural Shift-Reduce Parsing (Nicolas Laurent) T4D T3A T5F T1A
• (SLE 2017) FlowSpec: Declarative Dataflow Analysis Specification (Jeff Smits, Eelco Visser) T3C T1B T3A T4A
• (SLE 2017) A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing (Kimio Kuramitsu) T4D T3A T1D T5F
• (SLE 2017) Towards a Taxonomy of Grammar Smells (Mats Stijlaart, Vadim Zaytsev) T5B T2B T3A T4A
• (SLE 2017) A Formalisation of Parameterised Reference Attribute Grammars (Scott Buckley, Anthony M. Sloane) T3A T5D T1B T1D
• (SLE 2017) Concurrent Circular Reference Attribute Grammars (Jesper Öqvist, Görel Hedin) T4D T3A T5F T1B
• (SLE 2017) Deep Priority Conflicts in the Wild: A Pilot Study (Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser) T5E T5B T2B T3A
• (SLE 2017) Incremental Packrat Parsing (Patrick Dubroy, Alessandro Warth) T4D T5F T4A T3A
• (SLE 2017) Type-Safe Modular Parsing (Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira) T1D T1B T4A T3A
• (SLE 2017 SI) Software meta-language engineering and CBS (Peter D. Mosses) T3A T1C T1E T2B
• (SLE 2017 SI) FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis (Jeff Smits, Guido Wachsmuth, Eelco Visser) T3C T1B T3A T4A
• (SLE 2018) Continuous Model Validation using Reference Attribute Grammars (Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann) T3A T4A T5E T4B
• (SLE 2018) GLL Parsing with Flexible Combinators (L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone) T3A T4A T5H T6B
• (SLE 2018) Translating Grammars to Accurate Metamodels (Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann) T3A T4A T1D T4D
• (SLE 2018 SI) Relational Reference Attribute Grammars: Improving continuous model validation (Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann) T3A T4A T2B T5E
• (SLE 2018 SI) Purely functional GLL parsing (L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone) T4C T3A T5F
• (SLE 2020) Principles and Patterns of JastAdd-style Reference Attribute Grammars (Niklas Fors, Emma Söderberg, Görel Hedin) T3A T4A T5E T5H
• (SLE 2020) Strategic Tree Rewriting in Attribute Grammars (Lucas Kramer, Eric Van Wyk) T3A T4B
• (SLE 2022) Lang-n-Prove: A DSL for Language Proofs (Matteo Cimini) T5D T3A T3C
• (SLE 2022) Specializing Scope Graph Resolution Queries (Aron Zwaan) T1B T5F T3A
• (SLE 2022) iCoLa: A Compositional Meta-language with Support for Incremental Language Development (Damian Frölich, L. Thomas van Binsbergen) T3A T1D T1E
• (SLE 2023) Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars (Lucas Kramer, Eric Van Wyk) T3A T1B T1D
• (SLE 2023) Nanopass Attribute Grammars (Nathan Ringo, Lucas Kramer, Eric Van Wyk) T4C T3A T1B
• (SLE 2023) Cascade: A Meta-language for Change, Cause and Effect (Riemer van Rozen) T3A T3C T4B T4D
• (SLE 2023) Online Name-Based Navigation for Software Meta-languages (Peter D. Mosses) T4A T3A T5H
• (SLE 2024) Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis (Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach) T3A T1B T5F
• (SLE 2024) DSLs in Racket: You Want It How, Now? (Yong-Seuk Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey) T3C T6A T3A T5E
• (SLE 2024) Type Checking with Rewriting Rules (Dimi Racordon) T1B T5D T3A
• (SLE 2024 SI) iCoLa+: An extensible meta-language with support for exploratory language development (Damian Frölich, L. Thomas van Binsbergen) T3A T1D T4A T1A
• (SLE 2024 SI) Zipper-based embedding of strategic attribute grammars (José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva) T3B T3A T4A T5F
• (SLE 2025) Handling Grammar Cycles in the 1997 SML Definition (Elizabeth Scott, Adrian Johnstone) T4C T3A T4A
• (SLE 2025) Property-based Testing of Attribute Grammars (José Nuno Macedo, Marcos Viera, João Saraiva) T5C T3A T4A
• (SLE 2025) Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars (Luke Bessant, Eric Van Wyk) T1B T3A T4C
• (SLE 2025) Boosting Parallel Parsing through Cyclic Operator Precedence Grammars (Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella) T4C T5F T3A
• (SLE 2025) AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support (Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert) T4A T4C T3A
• (SLE 2025) Dynamic Dependency-Based Purity Checking (Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach) T5B T3A T4A
• (SLE 2026) AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars (Luke Bessant, Eric Van Wyk) T3A

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.