SLE 2018
11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), November 5–6, 2018, Boston, MA, USA

SLE 2018 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
SLE 2018 Organization
Sponsors

Keynote

A New Approach for Software Correctness and Reliability (Keynote)
Martin C. Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search

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 Article Search Info Artifacts Available 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 Article Search Artifacts Available 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 Article Search Artifacts Available Artifacts Functional
Input-Driven Regular Expressions (Vision Paper)
Alexander Sakharov
(Synstretch, USA)
Publisher's Version Article Search

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 Article Search Artifacts Available Artifacts Functional
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Filip Strömbäck
(Linköping University, Sweden)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional
Languages as First-Class Citizens (Vision Paper)
Matteo Cimini
(University of Massachusetts at Lowell, USA)
Publisher's Version Article Search

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 Article Search Artifacts Available 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 Article Search
An Industrial Case Study in Compiler Testing (Tool Demo)
Vadim Zaytsev
(Raincode Labs, Belgium)
Publisher's Version Article Search
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 Article Search Info Artifacts Available 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 Article Search Artifacts Available Artifacts Functional
The Next 700 Unit of Measurement Checkers
Oscar Bennich-Björkman and Steve McKeever
(Uppsala University, Sweden)
Publisher's Version Article Search
A Practical Type System for Safe Aliasing
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)
Publisher's Version Article Search Info Artifacts Available 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 Article Search 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 Article Search Info
Translating Grammars to Accurate Metamodels
Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann
(RWTH Aachen University, Germany)
Publisher's Version Article Search
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 Article Search
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 Article Search

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 Article Search
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 Article Search
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 Article Search Info

proc time: 3