SLE 2018 – Proceedings

Frontmatter

Keynote

A New Approach for Software Correctness and Reliability (Keynote)
Martin C. Rinard
(Massachusetts Institute of Technology, USA)

Publisher's Version

Parsing

Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Info Artifacts Functional

GLL Parsing with Flexible Combinators
L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone
(Royal Holloway University of London, UK)

Publisher's Version Artifacts Functional

Morbig: A Static Parser for POSIX Shell
Yann Régis-Gianas, Nicolas Jeannerod, and Ralf Treinen
(IRIF, France; University of Paris Diderot, France; CNRS, France; Inria, France; ENS, France)

Publisher's Version Artifacts Functional

Input-Driven Regular Expressions (Vision Paper)
Alexander Sakharov
(Synstretch, USA)

Publisher's Version

Language Composition

Modular Language Composition for the Masses
Manuel Leduc, Thomas Degueule, and Benoit Combemale
(University of Rennes, France; Inria, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Toulouse, France; IRIT, France)

Publisher's Version Artifacts Functional

Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Filip Strömbäck
(Linköping University, Sweden)

Publisher's Version Info Artifacts Functional

Languages as First-Class Citizens (Vision Paper)
Matteo Cimini
(University of Massachusetts at Lowell, USA)

Publisher's Version

Validation and Verification

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, and Uwe Aßmann
(TU Dresden, Germany; Lund University, Sweden)

Publisher's Version Artifacts Functional

Migrating Business Logic to an Incremental Computing DSL: A Case Study
Daco C. Harkes, Elmer van Chastelet, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version

An Industrial Case Study in Compiler Testing (Tool Demo)
Vadim Zaytsev
(Raincode Labs, Belgium)

Publisher's Version

Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)
Benoît Ries, Alfredo Capozucca, and Nicolas Guelfi
(University of Luxembourg, Luxembourg)

Publisher's Version Info Artifacts Functional

Types and Constraints

Constraint-based Run-time State Migration for Live Modeling
Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, and Thomas Degueule
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)

Publisher's Version Artifacts Functional

The Next 700 Unit of Measurement Checkers
Oscar Bennich-Björkman and Steve McKeever
(Uppsala University, Sweden)

Publisher's Version

A Practical Type System for Safe Aliasing
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)

Publisher's Version Info Artifacts Functional

Grammars and Metamodeling

Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
Juan de Lara, Esther Guerra, Jörg Kienzle, and Yanis Hattab
(Autonomous University of Madrid, Spain; McGill University, Canada)

Publisher's Version Info

Analysing Meta-Model Product Lines
Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay
(Autonomous University of Madrid, Spain; University of Toronto, Canada)

Publisher's Version Info

Translating Grammars to Accurate Metamodels
Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann
(RWTH Aachen University, Germany)

Publisher's Version

Deriving Fluent Internal Domain-Specific Languages from Grammars
Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann
(RWTH Aachen University, Germany)

Publisher's Version

Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
Benoît Lelandais, Marie-Pierre Oudot, and Benoit Combemale
(CEA, France; DAM, France; DIF, France; University of Toulouse, France; Inria, France)

Publisher's Version

Language Workbenches

Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
Jasper Denkers, Louis van Gool, and Eelco Visser
(Delft University of Technology, Netherlands; Océ, Netherlands)

Publisher's Version

Bacatá: A Language Parametric Notebook Generator (Tool Demo)
Mauricio Verano Merino, Jurgen Vinju, and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)

Publisher's Version

Shape-Diverse DSLs: Languages without Borders (Vision Paper)
Fabien Coulon, Thomas Degueule, Tijs van der Storm, and Benoit Combemale
(University of Toulouse, France; IRIT, France; Obeo, France; CWI, Netherlands; University of Groningen, Netherlands; Inria, France)

Publisher's Version Info

proc time: 2.96