CfPBoK
by
Vadim Zaytsev
Papers
Paper lists look much better and more navigable when viewed
per conference year
.
(
2006
)
Extending Grammars and Metamodels for Reuse: the Reuseware Approach
by
Jakob Henriksson
,
Florian Heidenreich
,
Jendrik Johannes
,
Steffen Zschaler
,
Uwe Aßmann
(
2006
)
Ontological Approach for the Semantic Recovery of Traceability Links between Software Artefacts
by
Yonggang Zhang
,
René Witte
,
Juergen Rilling
,
Volker Haarslev
(
2006
)
Formalising Model Transformation Rules for UML/MOF 2
by
Carsten Amelunxen
,
Andy Schürr
(
2006
)
Learning Context-Free Grammar Rules from a Set of Program
by
Alpana Dubey
,
Pankaj Jalote
,
Shubhani Aggarwal
(
2006
)
Aspect-Oriented Prolog in a Language Processing Context
by
Wolfgang Lohmann
,
Günter Riedewald
,
Guido Wachsmuth
(
2006
)
Integration of Safety Analysis in Model-Driven Software Development
by
Miguel A. de Miguel
,
Javier Fernández Briones
,
Juan Pedro Silva
,
Alejandro Alonso
(
2006
)
Evaluating Formal Properties of Feature Diagram Languages
by
Patrick Heymans
,
Pierre-Yves Schobbens
,
Jean-Christophe Trigaux
,
Yves Bontemps
,
Raimundas Matulevičius
,
Andreas Claßen
(
2008
)
Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams
by
Daniel Laurence Moody
,
Jos van Hillegersberg
(
2008
)
Neon: A Library for Language Usage Analysis
by
Jurriaan Hage
,
Peter van Keeken
(
2008
)
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
by
José Eduardo Rivera
,
Esther Guerra
,
Juan de Lara
,
Antonio Vallecillo
(
2008
)
Parse Table Composition: Separate Compilation and Binary Extensibility of Grammars
by
Martin Bravenboer
,
Eelco Visser
(
2008
)
Practical Scope Recovery Using Bridge Parsing
by
Emma Nilsson-Nyman
,
Torbjörn Ekman
,
Görel Hedin
(
2008
)
Generating Rewritable Abstract Syntax Trees: A Foundation for the Rapid Development of Source Code Transformation Tools
by
Jeffrey Overbey
,
Ralph E. Johnson
(
2008
)
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
by
Mathias Fritzsche
,
Jendrik Johannes
,
Uwe Aßmann
,
Simon Mitschke
,
Wasif Gilani
,
Ivor Spence
,
John Brown
,
Peter Kilpatrick
(
2008
)
Engineering a DSL for Software Traceability
by
Nikolaos Drivalos
,
Dimitrios S. Kolovos
,
Richard F. Paige
,
Kiran Fernandes
(
2008
)
Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines
by
Pablo Sánchez
,
Neil Loughran
,
Lidia Fuentes
,
Alessandro Fabricio Garcia
(
2008
)
Transformation Language Integration Based on Profiles and Higher Order Transformations
by
Pieter Van Gorp
,
Anne Keller
,
Dirk Janssens
(
2008
)
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
by
Bernhard Schätz
(
2008
)
A Practical Evaluation of Using TXL for Model Transformation
by
Hongzhi Liang
,
Jürgen Dingel
(
2008
)
DeFacto: Language-Parametric Fact Extraction from Source Code
by
Hendrikus J. S. Basten
,
Paul Klint
(
2008
)
A Case Study in Grammar Engineering
by
Tiago L. Alves
,
Joost Visser
(
2008
)
Sudoku – A Language Description Case Study
by
Terje Gjøsæter
,
Ingelin F. Isfeldt
,
Andreas Prinz
(
2008
)
The Java Programmer’s Phrase Book
by
Einar W. Høst
,
Bjarte M. Østvold
(
2008
)
A Flexible Infrastructure for Multilevel Language Engineering
by
Colin Atkinson
,
Matthias Gutheil
,
Bastian Kennel
(
2008
)
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering
by
Daniel Laurence Moody
(
2008
)
Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring
by
Nicholas A. Kraft
,
Edward Duffy
,
Brian A. Malloy
(
2008
)
Engineering of Framework-Specific Modeling Languages
by
Michał Antkiewicz
,
Krzysztof Czarnecki
,
Matthew Stephan
(
2008
)
A Model-Based Approach to Families of Embedded Domain-Specific Languages
by
Jesús Sánchez Cuadrado
,
Jesús Garćıa Molina
(
2008
)
FAML: A Generic Metamodel for MAS Development
by
Ghassan Beydoun
,
Graham Low
,
Brian Henderson-Sellers
,
Haralambos Mouratidis
,
Jorge J. Gómez-Sanz
,
Juán Pavón
,
César González-Pérez
(
2009
)
Language Evolution in Practice: The History of GMF
by
Markus Herrmannsdörfer
,
Daniel Ratiu
,
Guido Wachsmuth
(
2009
)
A Novel Approach to Semi-automated Evolution of DSML Model Transformation
by
Tihamér Levendovszky
,
Daniel Balasubramanian
,
Anantha Narayanan
,
Gábor Karsai
(
2009
)
Study of an API Migration for Two XML APIs
by
Thiago Tonelli Bartolomei
,
Krzysztof Czarnecki
,
Ralf Lämmel
,
Tijs van der Storm
(
2009
)
Composing Feature Models
by
Mathieu Acher
,
Philippe Collet
,
Philippe Lahire
,
Robert B. France
(
2009
)
VML* – A Family of Languages for Variability Management in Software Product Lines
by
Steffen Zschaler
,
Pablo Sánchez
,
Jõao Santos
,
Mauricio Alférez
,
Awais Rashid
,
Lidia Fuentes
,
Ana Moreira
,
João Araújo
,
Uirá Kulesza
(
2009
)
Multi-view Composition Language for Software Product Line Requirements
by
Mauricio Alférez
,
Jõao Santos
,
Ana Moreira
,
Alessandro Fabricio Garcia
,
Uirá Kulesza
,
João Araújo
,
Vasco Amaral
(
2009
)
Verifiable Parse Table Composition for Deterministic Parsing
by
August Schwerdfeger
,
Eric Van Wyk
(
2009
)
Natural and Flexible Error Recovery for Generated Parsers
by
Maartje de Jonge
,
Emma Nilsson-Nyman
,
Lennart C. L. Kats
,
Eelco Visser
(
2009
)
PIL: A Platform Independent Language for Retargetable DSLs
by
Zef Hemel
,
Eelco Visser
(
2009
)
A Role-Based Approach towards Modular Language Engineering
by
Christian Wende
,
Nils Thieme
,
Steffen Zschaler
(
2009
)
Language Boxes: Bending the Host Language with Modular Language Changes
by
Lukas Renggli
,
Marcus Denker
,
Oscar Nierstrasz
(
2009
)
Declarative Scripting in Haskell
by
Tim Bauer
,
Martin Erwig
(
2009
)
An Automated Process for Implementing Multilevel Domain Models
by
Frédéric Mallet
,
François Lagarde
,
Charles André
,
Sébastien Gérard
,
François Terrier
(
2009
)
Domain-Specific Metamodelling Languages for Software Language Engineering
by
Steffen Zschaler
,
Dimitrios S. Kolovos
,
Nikolaos Drivalos
,
Richard F. Paige
,
Awais Rashid
(
2009
)
Generating Smart Wrapper Libraries for Arbitrary APIs
by
Uwe Jugel
(
2010
)
Automated Selective Caching for Reference Attribute Grammars
by
Emma Söderberg
,
Görel Hedin
(
2010
)
Reference Attribute Grammars for Metamodel Semantics
by
Christoff Bürger
,
Sven Karol
,
Christian Wende
,
Uwe Aßmann
(
2010
)
Modelling GLL Parser Implementations
by
Adrian Johnstone
,
Elizabeth Scott
(
2010
)
Metamodel Usage Analysis for Identifying Metamodel Improvements
by
Markus Herrmannsdörfer
,
Daniel Ratiu
,
Maximilian Koegel
(
2010
)
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF
by
Benjamin Braatz
,
Christoph Brandt
(
2010
)
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
by
Kacper Bąk
,
Krzysztof Czarnecki
,
Andrzej Wąsowski
(
2010
)
Support for the Evolution of C++ Generic Functions
by
Peter Pirkelbauer
,
Damian Dechev
,
Bjarne Stroustrup
(
2010
)
Automated Co-evolution of GMF Editor Models
by
Davide Di Ruscio
,
Ralf Lämmel
,
Alfonso Pierantonio
(
2010
)
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models
by
Markus Herrmannsdörfer
,
Sander D. Vermolen
,
Guido Wachsmuth
(
2010
)
JTL: A Bidirectional and Change Propagating Transformation Language
by
Antonio Cicchetti
,
Davide Di Ruscio
,
Romina Eramo
,
Alfonso Pierantonio
(
2010
)
A Unified Format for Language Documents
by
Vadim Zaytsev
,
Ralf Lämmel
(
2010
)
Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs
by
Einar W. Høst
,
Bjarte M. Østvold
(
2010
)
Subjective-C: Bringing Context to Mobile Platform Programming
by
Sebastián González
,
Nicolás Cardozo
,
Kim Mens
,
Alfredo Cádiz
,
Jean-Christophe Libbrecht
,
Julien Goffaux
(
2010
)
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies
by
Arnaud Hubaux
,
Quentin Boucher
,
Herman Hartmann
,
Raphaël Michel
,
Patrick Heymans
(
2010
)
Extending DMM Behavior Specifications for Visual Execution and Debugging
by
Nils Bandener
,
Christian Soltenborn
,
Gregor Engels
(
2010
)
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation
by
Nicolas Genon
,
Patrick Heymans
,
Daniel Amyot
(
2010
)
Featherweight TEX and Parser Correctness
by
Sebastian Erdweg
,
Klaus Ostermann
(
2011
)
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations
by
Andreas Seibel
,
Regina Hebig
,
Stefan Neumann
,
Holger Giese
(
2011
)
An Algorithm for Layout Preservation in Refactoring Transformations
by
Maartje de Jonge
,
Eelco Visser
(
2011
)
Cloning in DSLs: Experiments with OCL
by
Robert Tairas
,
Jordi Cabot
(
2011
)
Uniform Modularization of Workflow Concerns Using Unify
by
Niels Joncheere
,
Ragnhild Van Der Straeten
(
2011
)
Design of Concept Libraries for C++
by
Andrew M. Sutton
,
Bjarne Stroustrup
(
2011
)
Join Token-Based Event Handling: A Comprehensive Framework for Game Programming
by
Taketoshi Nishimori
,
Yasushi Kuno
(
2011
)
Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language
by
Christophe Tombelle
,
Gilles Vanwormhoudt
,
Emmanuel Renaux
(
2011
)
An Architecture for Information Exchange Based on Reference Models
by
Heiko Paulheim
,
Daniel Oberle
,
Roland Plendl
,
Florian Probst
(
2011
)
MoScript: A DSL for Querying and Manipulating Model Repositories
by
Wolfgang Kling
,
Frédéric Jouault
,
Dennis Wagelaar
,
Marco Brambilla
,
Jordi Cabot
(
2011
)
Reconstructing Complex Metamodel Evolution
by
Sander D. Vermolen
,
Guido Wachsmuth
,
Eelco Visser
(
2011
)
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study
by
Frank P. M. Stappers
,
Sven Weber
,
Michel Reniers
,
Suzana Andova
,
István Nagy
(
2011
)
Semantics First! Rethinking the Language Design Process
by
Martin Erwig
,
Eric Walkingshaw
(
2011
)
Integrating Attribute Grammar and Functional Programming Language Features
by
Ted Kaminski
,
Eric Van Wyk
(
2011
)
Parse Forest Diagnostics with Dr. Ambiguity
by
Hendrikus J. S. Basten
,
Jurgen Vinju
(
2011
)
Ambiguity Detection: Scaling to Scannerless
by
Hendrikus J. S. Basten
,
Paul Klint
,
Jurgen Vinju
(
2011
)
Comparison of Context-Free Grammars Based on Parsing Generated Test Data
by
Bernd Fischer
,
Ralf Lämmel
,
Vadim Zaytsev
(
2012
)
Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs
by
Tijs van der Storm
,
William R. Cook
,
Alex Loh
(
2012
)
Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation
by
Anthony M. Sloane
(
2012
)
Termination Analysis for Higher-Order Attribute Grammars
by
Lijesh Krishnan
,
Eric Van Wyk
(
2012
)
Metamodelling for Grammarware Researchers
by
Richard F. Paige
,
Dimitrios S. Kolovos
,
Fiona Polack
(
2012
)
Temporal Constraint Support for OCL
by
Bilal Kanso
,
Safouan Taha
(
2012
)
The Program Is the Model: Enabling Transformations@run.time
by
Jesús Sánchez Cuadrado
,
Esther Guerra
,
Juan de Lara
(
2012
)
A Framework for Bidirectional Model-to-Platform Transformations
by
Anthony Anjorin
,
Karsten Saller
,
Sebastian Rose
,
Andy Schürr
(
2012
)
Model Transformation Co-evolution: A Semi-automatic Approach
by
Jokin García
,
Óscar Díaz
,
Maider Azanza
(
2012
)
Guided Merging of Sequence Diagrams
by
Magdalena Widl
,
Armin Biere
,
Petra Kaufmann
,
Uwe Egly
,
Marijn J. H. Heule
,
Gerti Kappel
,
Martina Seidl
,
Hans Tompits
(
2012
)
Bridging the Chasm between Executable Metamodeling and Models of Computation
by
Benoît Combemale
,
Cécile Hardebolle
,
Christophe Jacquet
,
Frédéric Boulanger
,
Benoît Baudry
(
2012
)
Grammatical Inference in Software Engineering: An Overview of the State of the Art
by
Andrew W. Stevenson
,
James R. Cordy
(
2012
)
Island Grammar-Based Parsing Using GLL and Tom
by
Ali Afroozeh
,
Jean-Christophe Bach
,
Mark van den Brand
,
Adrian Johnstone
,
Maarten Manders
,
Pierre-Etienne Moreau
,
Elizabeth Scott
(
2012
)
Layout-Sensitive Generalized Parsing
by
Sebastian Erdweg
,
Tillmann Rendel
,
Christian Kästner
,
Klaus Ostermann
(
2012
)
A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling
by
Giancarlo Guizzardi
,
Veruska Zamborlini
(
2012
)
Declarative Name Binding and Scope Rules
by
Gabriël Konat
,
Lennart C. L. Kats
,
Guido Wachsmuth
,
Eelco Visser
(
2012
)
On the Reusable Specification of Non-functional Properties in DSLs
by
Francisco Durán
,
Steffen Zschaler
,
Javier Troya
(
2012
)
Modular Well-Definedness Analysis for Attribute Grammars
by
Ted Kaminski
,
Eric Van Wyk
(
2012
)
Meta-language Support for Type-Safe Access to External Resources
by
Mark Hills
,
Paul Klint
,
Jurgen Vinju
(
2012
)
Approaches and Tools for Implementing Type Systems in Xtext
by
Lorenzo Bettini
,
Dietmar Stoll
,
Markus Völter
,
Serano Colameo
(
2012
)
A tutorial on metamodelling for grammar researchers
by
Richard F. Paige
,
Dimitrios S. Kolovos
,
Fiona Polack
(
2012
)
Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling
by
Giancarlo Guizzardi
,
Veruska Zamborlini
(
2012
)
A survey of grammatical inference in software engineering
by
Andrew W. Stevenson
,
James R. Cordy
(
2012
)
The design and implementation of Object Grammars
by
Tijs van der Storm
,
William R. Cook
,
Alex Loh
(
2012
)
Domain-specific program profiling and its application to attribute grammars and term rewriting
by
Anthony M. Sloane
,
Matthew Roberts
(
2012
)
Monolithic and modular termination analyses for higher-order attribute grammars
by
Lijesh Krishnan
,
Eric Van Wyk
(
2012
)
Specification of temporal properties with OCL
by
Bilal Kanso
,
Safouan Taha
(
2013
)
Developing a Domain-Specific Language for Scheduling in the European Energy Sector
by
Stefan Sobernig
,
Mark Strembeck
,
Andreas J. Beck
(
2013
)
Micro-Machinations: A DSL for Game Economies
by
Paul Klint
,
Riemer van Rozen
(
2013
)
xMOF: Executable DSMLs Based on fUML
by
Tanja Mayerhofer
,
Philip Langer
,
Manuel Wimmer
,
Gerti Kappel
(
2013
)
Variability Support in Domain-Specific Language Development
by
Edoardo Vacchi
,
Walter Cazzola
,
Suresh Pillay
,
Benoît Combemale
(
2013
)
Software Evolution to Domain-Specific Languages
by
Stefan Fehrenbach
,
Sebastian Erdweg
,
Klaus Ostermann
(
2013
)
Micropatterns in Grammars
by
Vadim Zaytsev
(
2013
)
Safe Specification of Operator Precedence Rules
by
Ali Afroozeh
,
Mark van den Brand
,
Adrian Johnstone
,
Elizabeth Scott
,
Jurgen Vinju
(
2013
)
Detecting Ambiguity in Programming Language Grammars
by
Naveneetha Vasudevan
,
Laurence Tratt
(
2013
)
A Pretty Good Formatting Pipeline
by
Anya Helene Bagge
,
Tero Hasu
(
2013
)
The State of the Art in Language Workbenches: Conclusions from the Language Workbench Challenge
by
Sebastian Erdweg
,
Tijs van der Storm
,
Markus Völter
,
Meinte Boersma
,
Remi Bosman
,
William R. Cook
,
Albert Gerritsen
,
Angelo Hulshout
,
Steven Kelly
,
Alex Loh
,
Gabriël Konat
,
Pedro J. Molina
,
Martin Palatnik
,
Risto Pohjonen
,
Eugen Schindler
,
Klemens Schindler
,
Riccardo Solmi
,
Vlad Vergu
,
Eelco Visser
,
Kevin van der Vlist
,
Guido Wachsmuth
,
Jimi van der Woning
(
2013
)
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation
by
Papa Issa Diallo
,
Joël Champeau
,
Loïc Lagadec
(
2013
)
A Language Independent Task Engine for Incremental Name and Type Analysis
by
Guido Wachsmuth
,
Gabriël Konat
,
Vlad Vergu
,
Danny M. Groenewegen
,
Eelco Visser
(
2013
)
A Generic Framework for Symbolic Execution
by
Andrei Arusoaie
,
Dorel Lucanu
,
Vlad Rusu
(
2013
)
Circular Higher-Order Reference Attribute Grammars
by
Emma Söderberg
,
Görel Hedin
(
2013
)
Mapping-Aware Megamodeling: Design Patterns and Laws
by
Zinovy Diskin
,
Sahar Kokaly
,
Tom Maibaum
(
2013
)
Partial Instances via Subclassing
by
Kacper Bąk
,
Zinovy Diskin
,
Michał Antkiewicz
,
Krzysztof Czarnecki
,
Andrzej Wąsowski
(
2013
)
Reifying Concurrency for Executable Metamodeling
by
Benoît Combemale
,
Julien De Antoni
,
Matias Vara Larsen
,
Frédéric Mallet
,
Olivier Barais
,
Benoît Baudry
,
Robert B. France
(
2014
)
ProMoBox: A Framework for Generating Domain-Specific Property Languages
by
Bart Meyers
,
Romuald Deshayes
,
Levi Lúcio
,
Eugene Syriani
,
Hans Vangheluwe
,
Manuel Wimmer
(
2014
)
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
by
Petra Kaufmann
,
Martin Kronegger
,
Andreas Pfandler
,
Martina Seidl
,
Magdalena Widl
(
2014
)
Towards User-Friendly Projectional Editors
by
Markus Völter
,
Janet Siegmund
,
Thorsten Berger
,
Bernd Kolb
(
2014
)
Bounded Seas: Island Parsing Without Shipwrecks
by
Jan Kurš
,
Mircea Lungu
,
Oscar Nierstrasz
(
2014
)
Eco: A Language Composition Editor
by
Lukas Diekmann
,
Laurence Tratt
(
2014
)
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers
by
Andrei Chiș
,
Tudor Gîrba
,
Oscar Nierstrasz
(
2014
)
Evaluating the Usability of a Visual Feature Modeling Notation
by
Aleksandar Jakšic
,
Robert B. France
,
Philippe Collet
,
Sudipto Ghosh
(
2014
)
A Metamodel Family for Role-Based Modeling and Programming Languages
by
Thomas Kühn
,
Max Leuthäuser
,
Sebastian Götz
,
Christoph Seidl
,
Uwe Aßmann
(
2014
)
fUML as an Assembly Language for Model Transformation
by
Massimo Tisi
,
Frédéric Jouault
,
Jérôme Delatour
,
Zied Saidi
,
Hassene Choura
(
2014
)
Respect Your Parents: How Attribution and Rewriting Can Get Along
by
Anthony M. Sloane
,
Matthew Roberts
,
Len Hamey
(
2014
)
Model Checking of CTL-Extended OCL Specifications
by
Robert Bill
,
Sebastian Gabmeyer
,
Petra Kaufmann
,
Martina Seidl
(
2014
)
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation
by
Daco C. Harkes
,
Eelco Visser
(
2014
)
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle
by
Tom Ridge
(
2014
)
Origin Tracking in Attribute Grammars
by
Kevin Williams
,
Eric Van Wyk
(
2014
)
Dynamic Scope Discovery for Model Transformations
by
Māris Jukšs
,
Clark Verbrugge
,
Dániel Varró
,
Hans Vangheluwe
(
2014
)
Streamlining Control Flow Graph Construction with DCFlow
by
Mark Hills
(
2014
)
Declarative rewriting through circular nonterminal attributes
by
Emma Söderberg
,
Görel Hedin
(
2014
)
Evaluating and comparing language workbenches: Existing results and benchmarks for the future
by
Sebastian Erdweg
,
Tijs van der Storm
,
Markus Völter
,
Laurence Tratt
,
Remi Bosman
,
William R. Cook
,
Albert Gerritsen
,
Angelo Hulshout
,
Steven Kelly
,
Alex Loh
,
Gabriël Konat
,
Pedro J. Molina
,
Martin Palatnik
,
Risto Pohjonen
,
Eugen Schindler
,
Klemens Schindler
,
Riccardo Solmi
,
Vlad Vergu
,
Eelco Visser
,
Kevin van der Vlist
,
Guido Wachsmuth
,
Jimi van der Woning
(
2014
)
Symbolic execution based on language transformation
by
Andrei Arusoaie
,
Dorel Lucanu
,
Vlad Rusu
(
2014
)
Intra- and interdiagram consistency checking of behavioral multiview models
by
Petra Kaufmann
,
Martin Kronegger
,
Andreas Pfandler
,
Martina Seidl
,
Magdalena Widl
(
2014
)
Practical domain-specific debuggers using the Moldable Debugger framework
by
Andrei Chiș
,
Marcus Denker
,
Tudor Gîrba
,
Oscar Nierstrasz
(
2014
)
Bounded seas
by
Jan Kurš
,
Mircea Lungu
,
Rathesan Iyadurai
,
Oscar Nierstrasz
(
2015
)
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
by
Salome Maro
,
Jan-Philipp Steghöfer
,
Anthony Anjorin
,
Matthias Tichy
,
Lars Gelin
(
2015
)
An Empirical Study on Simplification of Business Process Modeling Languages
by
Eric Umuhoza
,
Marco Brambilla
,
Davide Ripamonti
,
Jordi Cabot
(
2015
)
Melange: A Meta-Language for Modular and Reusable Development of DSLs
by
Thomas Degueule
,
Benoît Combemale
,
Arnaud Blouin
,
Olivier Barais
,
Jean-Marc Jezéquél
(
2015
)
Distributed Model-to-Model Transformation with ATL on MapReduce
by
Amine Benelallam
,
Abel Gómez
,
Massimo Tisi
,
Jordi Cabot
(
2015
)
Managing Uncertainty in Bidirectional Model Transformations
by
Romina Eramo
,
Alfonso Pierantonio
,
Gianni Rosa
(
2015
)
Modular Capture Avoidance for Program Transformations
by
Nico Ritschel
,
Sebastian Erdweg
(
2015
)
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
by
Christoff Bürger
(
2015
)
Example-Based Validation of Domain-Specific Visual Languages
by
Jesús J. López-Fernández
,
Esther Guerra
,
Juan de Lara
(
2015
)
A Combined Formal Model for Relational Context-Dependent Roles
by
Thomas Kühn
,
Stephan Böhme
,
Sebastian Götz
,
Uwe Aßmann
(
2015
)
Weaving Concurrency in Executable Domain-Specific Modeling Languages
by
Florent Latombe
,
Xavier Crégut
,
Benoît Combemale
,
Julien DeAntoni
,
Marc Pantel
(
2015
)
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
by
Erwan Bousse
,
Jonathan Corley
,
Benoît Combemale
,
Jeffrey G. Gray
,
Benoît Baudry
(
2015
)
Using Decision Rules for Solving Conflicts in Extended Feature Models
by
Lina Ochoa
,
Oscar González-Rojas
,
Thomas Thüm
(
2016
)
Parsing and Reflective Printing, Bidirectionally
by
Zirun Zhu
,
Yongzhe Zhang
,
Hsiang-Shang Ko
,
Pedro Martins
,
João Saraiva
,
Zhenjiang Hu
(
2016
)
Taming Context-Sensitive Languages with Principled Stateful Parsing
by
Nicolas Laurent
,
Kim Mens
(
2016
)
Efficient Development of Consistent Projectional Editors using Grammar Cells
by
Markus Völter
,
Tamás Szabó
,
Sascha Lisson
,
Bernd Kolb
,
Sebastian Erdweg
,
Thorsten Berger
(
2016
)
Experiences of Models@run-time with EMF and CDO
by
Daniel Seybold
,
Jörg Domaschka
,
Alessandro Rossini
,
Christopher B. Hauser
,
Frank Griesinger
,
Athanasios Tsitsipas
(
2016
)
Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
by
Salvador Martínez Perez
,
Jokin García
,
Jordi Cabot
(
2016
)
Object-Oriented Design Pattern for DSL Program Monitoring
by
Zoé Drey
,
Ciprian Teodorov
(
2016
)
Language Design and Implementation for the Domain of Coding Conventions
by
Boryana Goncharenko
,
Vadim Zaytsev
(
2016
)
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
by
Zhaoyi Luo
,
Joanne M. Atlee
(
2016
)
Adding Uncertainty and Units to Quantity Types in Software Models
by
Tanja Mayerhofer
,
Manuel Wimmer
,
Antonio Vallecillo
(
2016
)
Towards a Universal Code Formatter through Machine Learning
by
Terence Parr
,
Jurgen Vinju
(
2016
)
The IDE Portability Problem and Its Solution in Monto
by
Sven Keidel
,
Wulf Pfeiffer
,
Sebastian Erdweg
(
2016
)
Principled Syntactic Code Completion using Placeholders
by
Luís Eduardo de Souza Amorim
,
Sebastian Erdweg
,
Guido Wachsmuth
,
Eelco Visser
(
2016
)
Automated Testing Support for Reactive Domain-Specific Modelling Languages
by
Bart Meyers
,
Joachim Denil
,
István Dávid
,
Hans Vangheluwe
(
2016
)
Side Effects Take the Blame
by
Felipe Bañados Schwerter
(
2016
)
Symbolic Execution of High-Level Transformations
by
Ahmad Salim Al-Sibahi
,
Aleksandar S. Dimovski
,
Andrzej Wąsowski
(
2016
)
Efficient Model Partitioning for Distributed Model Transformations
by
Amine Benelallam
,
Massimo Tisi
,
Jesús Sánchez Cuadrado
,
Juan de Lara
,
Jordi Cabot
(
2016
)
Coupled Software Transformations — Revisited
by
Ralf Lämmel
(
2017
)
Better Call the Crowd: Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
by
Marco Brambilla
,
Jordi Cabot
,
Javier Luis Cánovas Izquierdo
,
Andrea Mauri
(
2017
)
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
by
Lechanceux Luhunu
,
Eugene Syriani
(
2017
)
FlowSpec: Declarative Dataflow Analysis Specification
by
Jeff Smits
,
Eelco Visser
(
2017
)
A Chrestomathy of DSL Implementations
by
Simon Schauss
,
Ralf Lämmel
,
Johannes Härtel
,
Marcel Heinz
,
Kevin Klein
,
Lukas Härtel
,
Thorsten Berger
(
2017
)
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
by
Kimio Kuramitsu
(
2017
)
Concrete Syntax: A Multi-Paradigm Modelling Approach
by
Yentl Van Tendeloo
,
Simon Van Mierlo
,
Bart Meyers
,
Hans Vangheluwe
(
2017
)
Energy Efficiency across Programming Languages
by
Rui Pereira
,
Marco Couto
,
Francisco Ribeiro
,
Rui Rua
,
Jácome Cunha
,
João Paulo Fernandes
,
João Saraiva
(
2017
)
Ensuring Non-interference of Composable Language Extensions
by
Ted Kaminski
,
Eric Van Wyk
(
2017
)
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
by
Francesco Di Giacomo
,
Mohamed Abbadi
,
Agostino Cortesi
,
Pieter Spronck
,
Giuseppe Maggiore
(
2017
)
Towards a Taxonomy of Grammar Smells
by
Mats Stijlaart
,
Vadim Zaytsev
(
2017
)
A Formalisation of Parameterised Reference Attribute Grammars
by
Scott Buckley
,
Anthony M. Sloane
(
2017
)
Concurrent Circular Reference Attribute Grammars
by
Jesper Öqvist
,
Görel Hedin
(
2017
)
Debugging with Domain-Specific Events via Macros
by
Xiangqi Li
,
Matthew Flatt
(
2017
)
Deep Priority Conflicts in the Wild: A Pilot Study
by
Luís Eduardo de Souza Amorim
,
Michael J. Steindorfer
,
Eelco Visser
(
2017
)
Incremental Packrat Parsing
by
Patrick Dubroy
,
Alessandro Warth
(
2017
)
Robust Programs with Filtered Iterators
by
Jiasi Shen
,
Martin C. Rinard
(
2017
)
Robust Projectional Editing
by
Friedrich Steimann
,
Marcus Frenkel
,
Markus Völter
(
2017
)
Structural Model Subtyping with OCL Constraints
by
Artur Boronat
(
2017
)
Type-Safe Modular Parsing
by
Haoyuan Zhang
,
Huang Li
,
Bruno C. d. S. Oliveira
(
2017
)
Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
by
Robert Bill
,
Patrick Neubauer
,
Manuel Wimmer
(
2017
)
A Requirements Engineering Approach for Usability-Driven DSL Development
by
Ankica Barišić
,
Dominique Blouin
,
Vasco Amaral
,
Miguel Goulão
(
2017
)
Software meta-language engineering and CBS
by
Peter D. Mosses
(
2017
)
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
by
Jeff Smits
,
Guido Wachsmuth
,
Eelco Visser
(
2018
)
The Next 700 Unit of Measurement Checkers
by
Oscar Bennich-Björkman
,
Steve McKeever
(
2018
)
Constraint-based Run-time State Migration for Live Modeling
by
Ulyana Tikhonova
,
Jouke Stoel
,
Tijs van der Storm
,
Thomas Degueule
(
2018
)
Continuous Model Validation using Reference Attribute Grammars
by
Johannes Mey
,
René Schöne
,
Görel Hedin
,
Emma Söderberg
,
Thomas Kühn
,
Niklas Fors
,
Jesper Öqvist
,
Uwe Aßmann
(
2018
)
Declarative Specification of Indentation Rules
by
Luís Eduardo de Souza Amorim
,
Michael J. Steindorfer
,
Sebastian Erdweg
,
Eelco Visser
(
2018
)
Deriving Fluent Internal Domain-Specific Languages from Grammars
by
Arvid Butting
,
Manuela Dalibor
,
Gerrit Leonhardt
,
Bernhard Rumpe
,
Andreas Wortmann
(
2018
)
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
by
Juan de Lara
,
Esther Guerra
,
Jörg Kienzle
,
Yanis Hattab
(
2018
)
GLL Parsing with Flexible Combinators
by
L. Thomas van Binsbergen
,
Elizabeth Scott
,
Adrian Johnstone
(
2018
)
Modular Language Composition for the Masses
by
Manuel Leduc
,
Thomas Degueule
,
Benoît Combemale
(
2018
)
Morbig: A Static Parser for POSIX Shell
by
Yann Régis-Gianas
,
Nicolas Jeannerod
,
Ralf Treinen
(
2018
)
Translating Grammars to Accurate Metamodels
by
Arvid Butting
,
Nico Jansen
,
Bernhard Rumpe
,
Andreas Wortmann
(
2018
)
A Practical Type System for Safe Aliasing
by
Dimi Racordon
,
Didier Buchs
(
2018
)
Analysing Meta-Model Product Lines
by
Esther Guerra
,
Juan de Lara
,
Marsha Chechik
,
Rick Salay
(
2018
)
Migrating Business Logic to an Incremental Computing DSL: A Case Study
by
Daco C. Harkes
,
Elmer van Chastelet
,
Eelco Visser
(
2018
)
Relational Reference Attribute Grammars: Improving continuous model validation
by
Johannes Mey
,
René Schöne
,
Görel Hedin
,
Emma Söderberg
,
Thomas Kühn
,
Niklas Fors
,
Jesper Öqvist
,
Uwe Aßmann
(
2018
)
MORBIG: A Static Parser for POSIX Shell
by
Yann Régis-Gianas
,
Nicolas Jeannerod
,
Ralf Treinen
(
2018
)
Purely functional GLL parsing
by
L. Thomas van Binsbergen
,
Elizabeth Scott
,
Adrian Johnstone
(
2019
)
A Feature-based Classification of Triple Graph Grammar Variants
by
Nils B. Weidmann
,
Robin Oppermann
,
Patrick Robrecht
(
2019
)
Spectrum-based Fault Localization for Context-Free Grammars
by
Moeketsi Raselimo
,
Bernd Fischer
(
2019
)
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
by
Nils B. Weidmann
,
Anthony Anjorin
,
Erhan Leblebici
,
Andy Schürr
(
2019
)
Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
by
Vasco Sousa
,
Eugene Syriani
,
Khady Fall
(
2019
)
Multiple Lexicalisation (A Java Based Study)
by
Elizabeth Scott
,
Adrian Johnstone
(
2019
)
Default Disambiguation for Online Parsers
by
Lukas Diekmann
,
Laurence Tratt
(
2019
)
Domain-Specific Model Differencing in Visual Concrete Syntax
by
Manouchehr Zadahmad
,
Eugene Syriani
,
Omar Alam
,
Esther Guerra
,
Juan de Lara
(
2019
)
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
by
Djamel Eddine Khelladi
,
Roland Kretschmer
,
Alexander Egyed
(
2019
)
High-Level Mission Specification for Multiple Robots
by
Sergio García
,
Patrizio Pelliccione
,
Claudio Menghi
,
Thorsten Berger
,
Tomáš Bureš
(
2019
)
Efficient Late Binding of Dynamic Function Compositions
by
Lars Schütze
,
Jerónimo Castrillón
(
2019
)
Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
by
Philipp Seifer
,
Johannes Härtel
,
Martin Leinberger
,
Ralf Lämmel
,
Steffen Staab
(
2019
)
From DSL Specification to Interactive Computer Programming Environment
by
Pierre Jeanjean
,
Benoît Combemale
,
Olivier Barais
(
2019
)
Transactional Editing: Giving ACID to Programmers
by
Friedrich Steimann
,
Nils Kurowsky
(
2020
)
Gradually Typing Strategies
by
Jeff Smits
,
Eelco Visser
(
2020
)
Annotating Executable DSLs with Energy Estimation Formulas
by
Thibault Béziers la Fosse
,
Massimo Tisi
,
Jean-Marie Mottu
,
Gerson Sunyé
(
2020
)
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
by
Lars Fritsche
,
Jens Kosiol
,
Adrian Möller
,
Andy Schürr
,
Gabriele Taentzer
(
2020
)
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
by
Nils B. Weidmann
,
Lars Fritsche
,
Anthony Anjorin
(
2020
)
Software Language Engineers’ Worst Nightmare
by
Vadim Zaytsev
(
2020
)
Principles and Patterns of JastAdd-style Reference Attribute Grammars
by
Niklas Fors
,
Emma Söderberg
,
Görel Hedin
(
2020
)
Extrinsically Typed Operational Semantics for Functional Languages
by
Matteo Cimini
,
Dale Miller
,
Jeremy G. Siek
(
2020
)
Featherweight Swift: A Core Calculus for Swift’s Type System
by
Dimi Racordon
,
Didier Buchs
(
2020
)
Untangling Mechanized Proofs
by
Clément Pit-Claudel
(
2020
)
Monadification of Attribute Grammars
by
Dawn Michaelson
,
Eric Van Wyk
(
2020
)
Behavior Trees in Action: A Study of Robotics Applications
by
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Swaib Dragule
,
Andrzej Wąsowski
(
2020
)
Strategic Tree Rewriting in Attribute Grammars
by
Lucas Kramer
,
Eric Van Wyk
(
2020
)
A Semantic Framework for PEGs
by
Sérgio Queiróz de Medeiros
,
Carlos Olarte
(
2020
)
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
by
Phillip van Heerden
,
Moeketsi Raselimo
,
Konstantinos Sagonas
,
Bernd Fischer
(
2020
)
Modular and Distributed IDE
by
Fabien Coulon
,
Alex Auvolat
,
Benoît Combemale
,
Yérom-David Bromberg
,
François Taïani
,
Olivier Barais
,
Noël Plouzeau
(
2020
)
Block-Based Syntax from Context-Free Grammars
by
Mauricio Verano Merino
,
Tijs van der Storm
(
2021
)
Monilogging for Executable Domain-Lpecific Languages
by
Dorian Leroy
,
Benoît Lelandais
,
Marie-Pierre Oudot
,
Benoît Combemale
(
2021
)
Automating the Synthesis of Recommender Systems for Modelling Languages
by
Lissette Almonte
,
Sara Pérez-Soler
,
Esther Guerra
,
Iván Cantador
,
Juan de Lara
(
2021
)
Executing Certified Model Transformations on Apache Spark
by
Jolan Philippe
,
Massimo Tisi
,
Hélène Coullon
,
Gerson Sunyé
(
2021
)
A Concurrency Model for JavaScript with Cooperative Cancellation
by
Tian Zhao
,
Yonglun Li
(
2021
)
There is More Than One Way to Zen Your Python
by
Aamir Farooq
,
Vadim Zaytsev
(
2021
)
Getting Grammars into Shape for Block-based Editors
by
Mauricio Verano Merino
,
Tom Beckmann
,
Tijs van der Storm
,
Robert Hirschfeld
,
Jurgen Vinju
(
2021
)
Fast Incremental PEG Parsing
by
Zachary Yedidia
,
Stephen Chong
(
2021
)
Faster Reachability Analysis for LR(1) Parsers
by
Frédéric Bour
,
François Pottier
(
2021
)
Automatic Grammar Repair
by
Moeketsi Raselimo
,
Bernd Fischer
(
2021
)
SEALS: A Framework for Building Self-Adaptive Virtual Machines
by
Gwendal Jouneaux
,
Olivier Barais
,
Benoît Combemale
,
Gunter Mussbacher
(
2021
)
FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
by
Maximilian Schiedermeier
,
Jörg Kienzle
,
Bettina Kemme
(
2022
)
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
by
Houda Boukham
,
Guido Wachsmuth
,
Martijn Dwars
,
Dalila Chiadmi
(
2022
)
Lang-n-Prove: A DSL for Language Proofs
by
Matteo Cimini
(
2022
)
Workbench for Creating Block-Based Environments
by
Mauricio Verano Merino
,
Koen van Wijk
(
2022
)
Optimising First-Class Pattern Matching
by
Jeff Smits
,
Toine Hartman
,
Jesper Cockx
(
2022
)
Property-Based Testing: Climbing the Stairway to Verification
by
Zilin Chen
,
Christine Rizkallah
,
Liam O’Connor
,
Partha Susarla
,
Gerwin Klein
,
Gernot Heiser
,
Gabriele Keller
(
2022
)
Selective Traceability for Rule-Based Model-to-Model Transformations
by
Qurat Ul Ain Ali
,
Dimitrios S. Kolovos
,
Konstantinos Barmpis
(
2022
)
Partial Parsing for Structured Editors
by
Tom Beckmann
,
Patrick Rein
,
Toni Mattis
,
Robert Hirschfeld
(
2022
)
Specializing Scope Graph Resolution Queries
by
Aron Zwaan
(
2022
)
Gradual Grammars: Syntax in Levels and Locales
by
Tijs van der Storm
,
Felienne Hermans
(
2022
)
Property Probes: Source Code Based Exploration of Program Analysis Results
by
Anton Risberg Alaküla
,
Görel Hedin
,
Niklas Fors
,
Adrian Pop
(
2022
)
jGuard: Programming Misuse-Resilient APIs
by
Simon Binder
,
Krishna Narasimhan
,
Svenja Kernig
,
Mira Mezini
(
2022
)
A Language-Parametric Approach to Exploratory Programming Environments
by
L. Thomas van Binsbergen
,
Damian Frölich
,
Mauricio Verano Merino
,
Joey Lai
,
Pierre Jeanjean
,
Tijs van der Storm
,
Benoît Combemale
,
Olivier Barais
(
2022
)
Collection Skeletons: Declarative Abstractions for Data Collections
by
Björn Franke
,
Zhibo Li
,
John Magnus Morton
,
Michel Steuwer
(
2022
)
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
by
Damian Frölich
,
L. Thomas van Binsbergen
(
2022
)
BatakJava: An Object-Oriented Programming Language with Versions
by
Luthfan Anshar Lubis
,
Yudai Tanabe
,
Tomoyuki Aotani
,
Hidehiko Masuhara
(
2022
)
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
by
Faezeh Khorram
,
Erwan Bousse
,
Antonio Garmendía
,
Jean-Marie Mottu
,
Gerson Sunyé
,
Manuel Wimmer
(
2022
)
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
by
Tetsuro Yamazaki
,
Tomoki Nakamaru
,
Shigeru Chiba
(
2022
)
Partial Loading of Repository-Based Models through Static Analysis
by
Sorour Jahanbin
,
Dimitrios S. Kolovos
,
Simos Gerasimou
,
Gerson Sunyé
(
2023
)
Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer
by
Walter Cazzola
,
Luca Favalli
(
2023
)
An Executable Semantics for Faster Development of Optimizing Python Compilers
by
Olivier Melançon
,
Marc Feeley
,
Manuel Serrano
(
2023
)
Adaptive Structural Operational Semantics
by
Gwendal Jouneaux
,
Damian Frölich
,
Olivier Barais
,
Benoît Combemale
,
Gurvan Le Guernic
,
Gunter Mussbacher
,
L. Thomas van Binsbergen
(
2023
)
A Reference GLL Implementation
by
Adrian Johnstone
(
2023
)
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
by
Lucas Kramer
,
Eric Van Wyk
(
2023
)
Nanopass Attribute Grammars
by
Nathan Ringo
,
Lucas Kramer
,
Eric Van Wyk
(
2023
)
Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution
by
Weixing Zhang
,
Regina Hebig
,
Daniel Strüber
,
Jan-Philipp Steghöfer
(
2023
)
Reuse and Automated Integration of Recommenders for Modelling Languages
by
Lissette Almonte
,
Antonio Garmendía
,
Esther Guerra
,
Juan de Lara
(
2023
)
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
by
Francisco Ribeiro
,
José Nuno Macedo
,
Kanae Tsushima
,
Rui Abreu
,
João Saraiva
(
2023
)
Temporal Breakpoints for Multiverse Debugging
by
Matthias Pasquier
,
Ciprian Teodorov
,
Frédéric Jouault
,
Matthias Brun
,
Luka Le Roux
,
Loïc Lagadec
(
2023
)
Cross-Level Debugging for Static Analysers
by
Mats Van Molle
,
Bram Vandenbogaerde
,
Coen De Roover
(
2023
)
Cascade: A Meta-language for Change, Cause and Effect
by
Riemer van Rozen
(
2023
)
Enabling Blended Modelling of Timing and Variability in EAST-ADL
by
Muhammad Waseem Anwar
,
Federico Ciccozzi
,
Alessio Bucaioni
(
2023
)
Towards Efficient Model Comparison using Automated Program Rewriting
by
Qurat Ul Ain Ali
,
Dimitrios S. Kolovos
,
Konstantinos Barmpis
(
2023
)
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
by
Malte Heithoff
,
Nico Jansen
,
Jörg Christian Kirchhof
,
Judith Michael
,
Florian Rademacher
,
Bernhard Rumpe
(
2024
)
Cooperative Specification via Composition Control
by
Christopher A. Esterhuyse
,
L. Thomas van Binsbergen
(
2024
)
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
by
Nathan Richardson
,
Dimitrios S. Kolovos
,
Antonio García-Domínguez
(
2024
)
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
by
James Pontes Miranda
,
Hugo Brunelière
,
Massimo Tisi
,
Gerson Sunyé
(
2024
)
Concrete Syntax Metapatterns
by
Luka Miljak
,
Casper Bach Poulsen
,
Rosilde Corvino
(
2024
)
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
by
Idriss Riouak
,
Niklas Fors
,
Jesper Öqvist
,
Görel Hedin
,
Christoph Reichenbach
(
2024
)
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
by
Laurent Huberdeau
,
Cassandre Hamel
,
Stefan Monnier
,
Marc Feeley
(
2024
)
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
by
Simão Cunha
,
Luís Silva
,
João Saraiva
,
João Paulo Fernandes
(
2024
)
Cloud Programming Languages and Infrastructure from Code: An Empirical Study
by
Georg Simhandl
,
Uwe Zdun
(
2024
)
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
by
Gizem Çaylak
,
Daniel Lundén
,
Viktor Senderov
,
David Broman
(
2024
)
Type Checking with Rewriting Rules
by
Dimi Racordon
(
2024
)
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
by
Lars Hummelgren
,
Viktor Palmkvist
,
Linnea Stjerna
,
Xuechun Xu
,
Joakim Jaldén
,
David Broman
(
2024
)
Reducing Write Barrier Overheads for Orthogonal Persistence
by
Yilin Zhang
,
Omkar Dilip Dhawal
,
V. Krishna Nandivada
,
Shigeru Chiba
,
Tomoharu Ugawa
(
2024
)
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
by
Yuefeng Hu
,
Hiromu Ishibe
,
Feng Dai
,
Tetsuro Yamazaki
,
Shigeru Chiba
(
2024
)
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
by
Giorgio Audrito
,
Roberto Casadei
,
Ferruccio Damiani
,
Guido Salvaneschi
,
Mirko Viroli
(
2024
)
Supporting reusable model migration with Edelta
by
Lorenzo Bettini
,
Amleto Di Salle
,
Ludovico Iovino
,
Alfonso Pierantonio
(
2024
)
Collection skeletons: Declarative abstractions for data collections
by
Björn Franke
,
Zhibo Li
,
John Magnus Morton
,
Michel Steuwer
(
2024
)
iCoLa+: An extensible meta-language with support for exploratory language development
by
Damian Frölich
,
L. Thomas van Binsbergen
(
2024
)
A language-parametric test coverage framework for executable domain-specific languages
by
Faezeh Khorram
,
Erwan Bousse
,
Antonio Garmendía
,
Jean-Marie Mottu
,
Gerson Sunyé
,
Manuel Wimmer
(
2024
)
Translating meaning representations to behavioural interface specifications
by
Iat Tou Leong
,
Raul Barbosa
(
2024
)
Zipper-based embedding of strategic attribute grammars
by
José Nuno Macedo
,
Emanuel Rodrigues
,
Marcos Viera
,
João Saraiva
(
2024
)
Spectrum-based rule- and item-level localization of faults in context-free grammars
by
Moeketsi Raselimo
,
Bernd Fischer
(
2024
)
Property probes: Live exploration of program analysis results
by
Anton Risberg Alaküla
,
Görel Hedin
,
Niklas Fors
,
Adrian Pop
(
2024
)
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs
by
Christoff Rossouw
,
Bernd Fischer
(
2024
)
Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation
by
Weixing Zhang
,
Jörg Holtmann
,
Daniel Strüber
,
Regina Hebig
,
Jan-Philipp Steghöfer
(
2025
)
Handling Grammar Cycles in the 1997 SML Definition
by
Elizabeth Scott
,
Adrian Johnstone
(
2025
)
Property-based Testing of Attribute Grammars
by
José Nuno Macedo
,
Marcos Viera
,
João Saraiva
(
2025
)
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars
by
Luke Bessant
,
Eric Van Wyk
(
2025
)
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
by
Michele Chiari
,
Michele Giornetta
,
Dino Mandrioli
,
Matteo Pradella
(
2025
)
A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries
by
Arkadii Gerasimov
,
Nico Jansen
,
Judith Michael
,
Bernhard Rumpe
,
Sebastian Will
(
2025
)
TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
by
José Pedro Ferreira
,
João Bispo
,
Susana Maria de Sousa Lima
(
2025
)
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization
by
Philipp Riemer
,
Yury Nikulin
,
Ashley Claymore
,
Mikhail Barash
(
2025
)
AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support
by
Georg Hinkel
,
Alexander Hert
,
Niklas Hettler
,
Kevin Weinert
(
2025
)
Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
by
Damian Frölich
,
Tommaso Pacciani
,
L. Thomas van Binsbergen
(
2025
)
Dynamic Dependency-Based Purity Checking
by
Anton Risberg Alaküla
,
Niklas Fors
,
Christoph Reichenbach
(
2025
)
Optimize Effect Handling for Tail-resumption with Stack Unwinding
by
Yuze Fu
,
Shigeru Chiba
(
2025
)
Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair
by
Aleksandar S. Dimovski
(
2025
)
(Semantic) Feature Model Differences with (Q)SAT
by
Simone Heisinger
,
Maximilian Heisinger
,
Martina Seidl
(
2025
)
Detecting Resource Leaks on Android with Alpakka
by
Gustavo Soares Santos
,
João Bispo
,
Alexandra Mendes
(
2026
)
A Nanopass Approach to a Modular RDF Implementation
by
Duncan Guthrie
,
Michele Sevegnani
,
Paul Harvey
(
2026
)
A Shallow Embedding of Datalog in Lean
by
Ramy Shahin
(
2026
)
CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
by
Uraz Odyurt
,
Ömer Faruk Sayilir
,
Mariëlle Stoelinga
,
Vadim Zaytsev
(
2026
)
Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support
by
Antonino Yann William Gillard
,
Tetsuro Yamazaki
,
Tomoharu Ugawa
(
2026
)
Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification
by
Alberto Tontoni
,
Mikhail Barash
(
2026
)
Engineering Verified Model Transformations through a Proof-Based Language Workbench
by
Akram Idani
,
German Vega
(
2026
)
How Much Does an LLM Know about My Programming Language?
by
David Delgado
,
Lola Burgueño
,
Robert Clarisó
(
2026
)
Incremental, Bidirectional Text-to-Text Synchronizations with AnyText
by
Georg Hinkel
(
2026
)
Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language
by
Christian Gutsche
,
Sebastian Götz
,
Uwe Aßmann
(
2026
)
AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars
by
Luke Bessant
,
Eric Van Wyk
(
2026
)
Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency
by
Luís Maia
,
Simão Cunha
,
João Saraiva
(
2026
)
Ztrategic: Libraries and Tools for Software Language Specification, Transformation, and Testing
by
Emanuel Rodrigues
,
José Nuno Macedo
,
João Saraiva
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.