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 – Advance Table of Contents

Contents - Abstracts - Authors


Title Page

Message from the Chairs




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

Article Search
Input-Driven Regular Expressions
Alexander Sakharov
(Synstretch, n.n.)
Regular expressions are extended by splitting the terminals into left brackets, right brackets, and neutral terminals. These extended regular expressions define a superset of regular languages. Their languages are parsed in linear time in the size of the input. The addition of annotations to these regular expressions results in more detailed parse trees.
Article Search
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)

Article Search
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration
Jasper Denkers, Louis van Gool, and Eelco Visser
(Delft University of Technology, Netherlands; Océ Technologies, n.n.)

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

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

Article Search
Constraint-Based Run-Time State Migration for Live Modeling
Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, and Thomas Degueule
(CWI, Netherlands)

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

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

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)

Article Search
Morbig: A Trustworthy Static Parser for POSIX Shell
Yann Régis-Gianas, Nicolas Jeannerod, and Ralf Treinen
(IRIF, France; Inria, France)

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

Article Search
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)
To provide empirical evidence to what extent migration of business logic to an incremental computing language (ICL) is useful, we report on a case study on a learning management system. Our contribution is to analyze a real-life project, how migrating business logic to an ICL affects information system validatability, performance, and development effort. We find that the migrated code has better validatability; it is straightforward to establish that a program ‘does the right thing’. Moreover, the performance is better than the previous hand-written incremental computing solution. The effort spent on modeling business logic is reduced, but integrating that logic in the application and tuning performance takes considerable effort. Thus, the ICL separates the concerns of business logic and performance, but does not reduce effort.
Article Search
GLL Parsing with Flexible Combinators
L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone
(Royal Holloway University of London, UK)

Article Search
An Industrial Case Study in Compiler Testing (Tool Demo)
Vadim Zaytsev
(Raincode Labs, n.n.)

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; CNRS, France; IRIT, France)

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)

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

Article Search
Shape-Diverse DSLs: Languages without Borders
Fabien Coulon, Thomas Degueule, Tijs van der Storm, and Benoit Combemale
(University of Toulouse, France; Obeo, n.n.; CWI, Netherlands; University of Groningen, Netherlands)

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

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

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

Article Search

proc time: 2.72