SLE 2019
12th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2019)

Title Page


Article: sle19foreword-fm000-p doi:

Message from the Chairs


Article: sle19foreword-fm001-p doi:

SLE 2019 Organization


Article: sle19foreword-fm002-p doi:

Sponsors


Article: sle19foreword-fm003-p doi:

A Feature-Based Classification of Triple Graph Grammar Variants
Nils Weidmann, Robin Oppermann, and Patrick Robrecht
(University of Paderborn, Germany)


@InProceedings{SLE19p1, author = {Nils Weidmann and Robin Oppermann and Patrick Robrecht}, title = {A Feature-Based Classification of Triple Graph Grammar Variants}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3357766.3359529}, year = {2019}, } Publisher's Version Article: sle19main-p5-p doi:10.1145/3357766.3359529

Spectrum-Based Fault Localization for Context-Free Grammars
Moeketsi Raselimo and Bernd Fischer
(Stellenbosch University, South Africa)


@InProceedings{SLE19p21, author = {Moeketsi Raselimo and Bernd Fischer}, title = {Spectrum-Based Fault Localization for Context-Free Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3357766.3359538}, year = {2019}, } Publisher's Version Article: sle19main-p30-p doi:10.1145/3357766.3359538

Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
Nils Weidmann, Anthony Anjorin, Erhan Leblebici, and Andy Schürr
(University of Paderborn, Germany; TU Darmstadt, Germany)


@InProceedings{SLE19p41, author = {Nils Weidmann and Anthony Anjorin and Erhan Leblebici and Andy Schürr}, title = {Consistency Management via a Combination of Triple Graph Grammars and Linear Programming}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3357766.3359544}, year = {2019}, } Publisher's Version Article: sle19main-p51-p doi:10.1145/3357766.3359544

Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
Vasco Sousa, Eugene Syriani, and Khady Fall
(Université de Montréal, Canada)


@InProceedings{SLE19p61, author = {Vasco Sousa and Eugene Syriani and Khady Fall}, title = {Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3357766.3359539}, year = {2019}, } Publisher's Version Article: sle19main-p31-p doi:10.1145/3357766.3359539

A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation
David Broman
(KTH, Sweden)


@InProceedings{SLE19p81, author = {David Broman}, title = {A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3357766.3359531}, year = {2019}, } Publisher's Version Article: sle19main-p12-p doi:10.1145/3357766.3359531

Shadow Models: Incremental Transformations for MPS
Markus Voelter, Klaus Birken, Sascha Lisson, and Alexander Rimer
(itemis, Germany)


@InProceedings{SLE19p89, author = {Markus Voelter and Klaus Birken and Sascha Lisson and Alexander Rimer}, title = {Shadow Models: Incremental Transformations for MPS}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3357766.3359528}, year = {2019}, } Publisher's Version Article: sle19main-p1-p doi:10.1145/3357766.3359528

The Lands Platform: Lan.guages and D.omain S.yntax
Nick Papoulias
(Grenoble Alps University, France)


@InProceedings{SLE19p97, author = {Nick Papoulias}, title = {The Lands Platform: Lan.guages and D.omain S.yntax}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3357766.3359547}, year = {2019}, } Publisher's Version Article: sle19main-p56-p doi:10.1145/3357766.3359547

Multiple Lexicalisation (A Java Based Study)
Elizabeth Scott and Adrian Johnstone
(Royal Holloway University of London, UK)


@InProceedings{SLE19p105, author = {Elizabeth Scott and Adrian Johnstone}, title = {Multiple Lexicalisation (A Java Based Study)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3357766.3359532}, year = {2019}, } Publisher's Version Article: sle19main-p13-p doi:10.1145/3357766.3359532

Breaking Parsers: Mutation-Based Generation of Programs with Guaranteed Syntax Errors
Moeketsi Raselimo, Jan Taljaard, and Bernd Fischer
(Stellenbosch University, South Africa)


@InProceedings{SLE19p125, author = {Moeketsi Raselimo and Jan Taljaard and Bernd Fischer}, title = {Breaking Parsers: Mutation-Based Generation of Programs with Guaranteed Syntax Errors}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {125-124}, doi = {10.1145/3357766.3359542}, year = {2019}, } Publisher's Version Article: sle19main-p41-p doi:10.1145/3357766.3359542

Default Disambiguation for Online Parsers
Lukas Diekmann and Laurence Tratt
(King's College London, UK)


@InProceedings{SLE19p133, author = {Lukas Diekmann and Laurence Tratt}, title = {Default Disambiguation for Online Parsers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {133-132}, doi = {10.1145/3357766.3359530}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p10-p doi:10.1145/3357766.3359530

Domain-Specific Model Differencing in Visual Concrete Syntax
Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, and Juan de Lara
(Université de Montréal, Canada; Trent University, Canada; Autonomous University of Madrid, Spain)


@InProceedings{SLE19p153, author = {Manouchehr Zadahmad and Eugene Syriani and Omar Alam and Esther Guerra and Juan de Lara}, title = {Domain-Specific Model Differencing in Visual Concrete Syntax}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3357766.3359537}, year = {2019}, } Publisher's Version Article: sle19main-p28-p doi:10.1145/3357766.3359537

Detecting and Exploring Side Effects when Repairing Model Inconsistencies
Djamel Eddine Khelladi, Roland Kretschmer, and Alexander Egyed
(CNRS, France; IRISA, France; JKU Linz, Austria)


@InProceedings{SLE19p173, author = {Djamel Eddine Khelladi and Roland Kretschmer and Alexander Egyed}, title = {Detecting and Exploring Side Effects when Repairing Model Inconsistencies}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {173-172}, doi = {10.1145/3357766.3359546}, year = {2019}, } Publisher's Version Article: sle19main-p55-p doi:10.1145/3357766.3359546

High-Level Mission Specification for Multiple Robots
Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, and Tomas Bures
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Luxembourg, Luxembourg; Charles University in Prague, Czechia)


@InProceedings{SLE19p193, author = {Sergio García and Patrizio Pelliccione and Claudio Menghi and Thorsten Berger and Tomas Bures}, title = {High-Level Mission Specification for Multiple Robots}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {193-192}, doi = {10.1145/3357766.3359535}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p21-p doi:10.1145/3357766.3359535

Efficient Late Binding of Dynamic Function Compositions
Lars Schütze and Jeronimo Castrillon
(TU Dresden, Germany)


@InProceedings{SLE19p213, author = {Lars Schütze and Jeronimo Castrillon}, title = {Efficient Late Binding of Dynamic Function Compositions}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3357766.3359543}, year = {2019}, } Publisher's Version Article: sle19main-p50-p doi:10.1145/3357766.3359543

Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, and Steffen Staab
(University of Koblenz-Landau, Germany; University of Southampton, UK)


@InProceedings{SLE19p233, author = {Philipp Seifer and Johannes Härtel and Martin Leinberger and Ralf Lämmel and Steffen Staab}, title = {Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {233-232}, doi = {10.1145/3357766.3359541}, year = {2019}, } Publisher's Version Article: sle19main-p39-p doi:10.1145/3357766.3359541

From DSL Specification to Interactive Computer Programming Environment
Pierre Jeanjean, Benoit Combemale, and Olivier Barais
(Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toulouse, France)


@InProceedings{SLE19p253, author = {Pierre Jeanjean and Benoit Combemale and Olivier Barais}, title = {From DSL Specification to Interactive Computer Programming Environment}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {253-252}, doi = {10.1145/3357766.3359540}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p33-p doi:10.1145/3357766.3359540

Analysis and Modeling of the Governance in General Programming Languages
Javier Luis Cánovas Izquierdo and Jordi Cabot
(Open University of Catalonia, Spain; IN3, Spain; ICREA, Spain)


@InProceedings{SLE19p273, author = {Javier Luis Cánovas Izquierdo and Jordi Cabot}, title = {Analysis and Modeling of the Governance in General Programming Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3357766.3359533}, year = {2019}, } Publisher's Version Article: sle19main-p16-p doi:10.1145/3357766.3359533

Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report
Elias Castegren and Kiko Fernandez-Reyes
(KTH, Sweden; Uppsala University, Sweden)


@InProceedings{SLE19p281, author = {Elias Castegren and Kiko Fernandez-Reyes}, title = {Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3357766.3359545}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p53-p doi:10.1145/3357766.3359545

Generating Incremental Type Services
André Pacak and Sebastian Erdweg
(Johannes Gutenberg University Mainz, Germany)


@InProceedings{SLE19p301, author = {André Pacak and Sebastian Erdweg}, title = {Generating Incremental Type Services}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3357766.3359534}, year = {2019}, } Publisher's Version Article: sle19main-p18-p doi:10.1145/3357766.3359534

Transactional Editing: Giving ACID to Programmers
Friedrich Steimann and Nils Kurowsky
(Fernuniversität in Hagen, Germany)


@InProceedings{SLE19p309, author = {Friedrich Steimann and Nils Kurowsky}, title = {Transactional Editing: Giving ACID to Programmers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3357766.3359536}, year = {2019}, } Publisher's Version Article: sle19main-p25-p doi:10.1145/3357766.3359536