Topic T5B: Language Description Analysis

Summary

• Requested in 12/26 calls
• Requested in 9/19 pure calls (2008–2024 with the longest streak of 8 years)
• Primary tagged in 13/26 paper bundles
• Primary tagged in 9/19 pure proceedings (2008–2026 with the longest streak of 5 years)
• Secondary tagged in 14/26 paper bundles
• Secondary tagged in 11/19 pure proceedings (2008–2023 with the longest streak of 8 years)
• Top 3 co-occurring topics:
  • T3A: Meta-languages (17 times)
  • T4A: Workbenches (16 times)
  • T5E: Empirical Evaluation (11 times)
• Top 3 contributors:
  • Vadim Zaytsev (6 times)
  • Ralf Lämmel (5 times)
  • Görel Hedin (3 times)

List of papers (50)

• (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) Evaluating Formal Properties of Feature Diagram Languages (Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevičius, Andreas Claßen) T2C T5D T1A T5B
• (SLE 2008) Neon: A Library for Language Usage Analysis (Jurriaan Hage, Peter van Keeken) T4A T5B T2B
• (SLE 2008) DeFacto: Language-Parametric Fact Extraction from Source Code (Hendrikus J. S. Basten, Paul Klint) T5B T4A T1E
• (SLE 2008) Sudoku – A Language Description Case Study (Terje Gjøsæter, Ingelin F. Isfeldt, Andreas Prinz) T6A T5B T3C
• (SLE 2008) The Java Programmer’s Phrase Book (Einar W. Høst, Bjarte M. Østvold) T5E T5B T2B
• (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 2010) Metamodel Usage Analysis for Identifying Metamodel Improvements (Markus Herrmannsdörfer, Daniel Ratiu, Maximilian Koegel) T5B T2B T5E
• (SLE 2010) An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models (Markus Herrmannsdörfer, Sander D. Vermolen, Guido Wachsmuth) T2B T4B T5B
• (SLE 2010) A Unified Format for Language Documents (Vadim Zaytsev, Ralf Lämmel) T2E T4A T5B
• (SLE 2010) Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs (Einar W. Høst, Bjarte M. Østvold) T5B T6G T5E
• (SLE 2010) Empirical Language Analysis in Software Linguistics (Jean-Marie Favre, Dragan Gašević, Ralf Lämmel, Ekaterina Pek) T5E T5B
• (SLE 2011) Parse Forest Diagnostics with Dr. Ambiguity (Hendrikus J. S. Basten, Jurgen Vinju) T5B T4A T3A
• (SLE 2011) Ambiguity Detection: Scaling to Scannerless (Hendrikus J. S. Basten, Paul Klint, Jurgen Vinju) T5B T5F T4A
• (SLE 2011) Comparison of Context-Free Grammars Based on Parsing Generated Test Data (Bernd Fischer, Ralf Lämmel, Vadim Zaytsev) T5C T5B T5E
• (SLE 2011) RLSRunner: Linking Rascal with K for Program Analysis (Mark Hills, Paul Klint, Jurgen Vinju) T4A T3A T5B
• (SLE 2012) Analysing Contributions (Oege de Moor) T4A T5B T2B T6B
• (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) Grammatical Inference in Software Engineering: An Overview of the State of the Art (Andrew W. Stevenson, James R. Cordy) T4G T3A T5B
• (SLE 2012) Modular Well-Definedness Analysis for Attribute Grammars (Ted Kaminski, Eric Van Wyk) T5B T1D T3A T5D
• (SLE 2012 SI) A survey of grammatical inference in software engineering (Andrew W. Stevenson, James R. Cordy) T5B T2A T5D T3C
• (SLE 2012 SI) Monolithic and modular termination analyses for higher-order attribute grammars (Lijesh Krishnan, Eric Van Wyk) T5B T5D T1D T4A
• (SLE 2013) Micropatterns in Grammars (Vadim Zaytsev) T5B T3A T2B
• (SLE 2013) Detecting Ambiguity in Programming Language Grammars (Naveneetha Vasudevan, Laurence Tratt) T5B T5E T3A
• (SLE 2013) Method and Tool Support for Classifying Software Languages with Wikipedia (Ralf Lämmel, Dominik Mosen, Andrei Varanovich) T3E T4F T5B
• (SLE 2013) Circular Higher-Order Reference Attribute Grammars (Emma Söderberg, Görel Hedin) T3A T5B T1D
• (SLE 2013) Guided Grammar Convergence (Vadim Zaytsev) T5B T4B T3A T3B
• (SLE 2014) Bounded Seas: Island Parsing Without Shipwrecks (Jan Kurš, Mircea Lungu, Oscar Nierstrasz) T5B T2A T3D
• (SLE 2014) Eco: A Language Composition Editor (Lukas Diekmann, Laurence Tratt) T4A T1D T5B T5H
• (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) Test-Data Generation for Xtext (Johannes Härtel, Lukas Härtel, Ralf Lämmel) T5C T4A T3B T5B
• (SLE 2014 SI) Intra- and interdiagram consistency checking of behavioral multiview models (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl) T5D T5B T3C
• (SLE 2015) What’s the Value of an End User? Platforms and Research: The Case of Pharo and Moose (Stéphane Ducasse) T4A T3D T5B T2B
• (SLE 2015) Analysis and Transformation with the Nuthatch Tree-Walking Library (Anya Helene Bagge) T3F T3B T5B T4A
• (SLE 2015) Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview (Christoff Bürger) T1B T3A T5B T4B
• (SLE 2015) Using Decision Rules for Solving Conflicts in Extended Feature Models (Lina Ochoa, Oscar González-Rojas, Thomas Thüm) T2C T4B T5B T5E
• (SLE 2016) Taming Context-Sensitive Languages with Principled Stateful Parsing (Nicolas Laurent, Kim Mens) T4D T1A T5B
• (SLE 2016) Language Design and Implementation for the Domain of Coding Conventions (Boryana Goncharenko, Vadim Zaytsev) T3C T1B T5B
• (SLE 2016) DrAST: An Inspection Tool for Attributed Syntax Trees (Joel Lindholm, Johan Thorsberg, Görel Hedin) T4A T1B T5B
• (SLE 2017) Towards a Taxonomy of Grammar Smells (Mats Stijlaart, Vadim Zaytsev) T5B T2B T3A T4A
• (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 2022) Partial Loading of Repository-Based Models through Static Analysis (Sorour Jahanbin, Dimitrios S. Kolovos, Simos Gerasimou, Gerson Sunyé) T5F T5B T4B T3B
• (SLE 2023) Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution (Weixing Zhang, Regina Hebig, Daniel Strüber, Jan-Philipp Steghöfer) T2B T5B T4B
• (SLE 2024 SI) Spectrum-based rule- and item-level localization of faults in context-free grammars (Moeketsi Raselimo, Bernd Fischer) T5B T5C T5E
• (SLE 2024 SI) Property probes: Live exploration of program analysis results (Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop) T4A T5B T5H T5F
• (SLE 2024 SI) Grammar-based test suite construction using coverage-directed algorithms over LR-graphs (Christoff Rossouw, Bernd Fischer) T5C T5B T5E
• (SLE 2025) Dynamic Dependency-Based Purity Checking (Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach) T5B T3A T4A
• (SLE 2026) Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification (Alberto Tontoni, Mikhail Barash) T5B T2E
• (SLE 2026) Ztrategic: Libraries and Tools for Software Language Specification, Transformation, and Testing (Emanuel Rodrigues, José Nuno Macedo, João Saraiva) T5B

---

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