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

Title Page

Article: sle19foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs

Article: sle19foreword-fm001-p (type: Frontmatter) doi:

SLE 2019 Organization

Article: sle19foreword-fm002-p (type: Frontmatter) doi:

Sponsors

Article: sle19foreword-fm003-p (type: Frontmatter) doi:

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

Publisher's Version Article: sle19main-p5-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359529

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

Publisher's Version Article: sle19main-p30-p (type: Full Paper (12 pages + appendix + references)) 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)

Publisher's Version Article: sle19main-p51-p (type: Full Paper (12 pages + appendix + references)) 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)

Publisher's Version Article: sle19main-p31-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359539

: Video Presentation

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

Publisher's Version Article: sle19main-p12-p (type: Full Paper (New ideas/Vision paper: 4 pages + appendix + references)) doi:10.1145/3357766.3359531

: Video Presentation

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

Publisher's Version Article: sle19main-p1-p (type: Full Paper (Demo Paper: 4 pages + appendix + references)) doi:10.1145/3357766.3359528

: Video Presentation

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

Publisher's Version Article: sle19main-p56-p (type: Full Paper (Demo Paper: 4 pages + appendix + references)) doi:10.1145/3357766.3359547

: Video Presentation

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

Publisher's Version Article: sle19main-p13-p (type: Full Paper (12 pages + appendix + references)) 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)

Publisher's Version Article: sle19main-p41-p (type: Full Paper (New ideas/Vision paper: 4 pages + appendix + references)) doi:10.1145/3357766.3359542

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p10-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359530

: Video Presentation

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)

Publisher's Version Article: sle19main-p28-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359537

: Video Presentation

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

Publisher's Version Article: sle19main-p55-p (type: Full Paper (12 pages + appendix + references)) 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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p21-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359535

: Video Presentation

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

Publisher's Version Article: sle19main-p50-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359543

: Video Presentation

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)

Publisher's Version Article: sle19main-p39-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359541

: Video Presentation

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p33-p (type: Full Paper (12 pages + appendix + references)) 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)

Publisher's Version Article: sle19main-p16-p (type: Full Paper (New ideas/Vision paper: 4 pages + appendix + references)) 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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle19main-p53-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359545

: Video Presentation

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

Publisher's Version Article: sle19main-p18-p (type: Full Paper (New ideas/Vision paper: 4 pages + appendix + references)) doi:10.1145/3357766.3359534

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

Publisher's Version Article: sle19main-p25-p (type: Full Paper (12 pages + appendix + references)) doi:10.1145/3357766.3359536