SLE 2018 – Proceedings

Frontmatter

Keynote

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


@InProceedings{SLE18p1, author = {Martin C. Rinard}, title = {A New Approach for Software Correctness and Reliability (Keynote)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3276604.3284957}, year = {2018}, } 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)


@InProceedings{SLE18p3, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser}, title = {Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3276604.3276607}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{SLE18p18, author = {L. Thomas van Binsbergen and Elizabeth Scott and Adrian Johnstone}, title = {GLL Parsing with Flexible Combinators}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3276604.3276618}, year = {2018}, } Publisher's Version Published Artifact 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)


@InProceedings{SLE18p33, author = {Yann Régis-Gianas and Nicolas Jeannerod and Ralf Treinen}, title = {Morbig: A Static Parser for POSIX Shell}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3276604.3276615}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{SLE18p48, author = {Alexander Sakharov}, title = {Input-Driven Regular Expressions (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {48-47}, doi = {10.1145/3276604.3276606}, year = {2018}, } 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)


@InProceedings{SLE18p54, author = {Manuel Leduc and Thomas Degueule and Benoit Combemale}, title = {Modular Language Composition for the Masses}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3276604.3276622}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{SLE18p69, author = {Filip Strömbäck}, title = {Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3276604.3276982}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{SLE18p75, author = {Matteo Cimini}, title = {Languages as First-Class Citizens (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {75-74}, doi = {10.1145/3276604.3276983}, year = {2018}, } 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)


@InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact 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)


@InProceedings{SLE18p96, author = {Daco C. Harkes and Elmer van Chastelet and Eelco Visser}, title = {Migrating Business Logic to an Incremental Computing DSL: A Case Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3276604.3276617}, year = {2018}, } Publisher's Version

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


@InProceedings{SLE18p111, author = {Vadim Zaytsev}, title = {An Industrial Case Study in Compiler Testing (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3276604.3276619}, year = {2018}, } 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)


@InProceedings{SLE18p117, author = {Benoît Ries and Alfredo Capozucca and Nicolas Guelfi}, title = {Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3276604.3276614}, year = {2018}, } Publisher's Version Published Artifact 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)


@InProceedings{SLE18p123, author = {Ulyana Tikhonova and Jouke Stoel and Tijs van der Storm and Thomas Degueule}, title = {Constraint-based Run-time State Migration for Live Modeling}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3276604.3276611}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{SLE18p138, author = {Oscar Bennich-Björkman and Steve McKeever}, title = {The Next 700 Unit of Measurement Checkers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {138-137}, doi = {10.1145/3276604.3276613}, year = {2018}, } Publisher's Version

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


@InProceedings{SLE18p153, author = {Dimitri Racordon and Didier Buchs}, title = {A Practical Type System for Safe Aliasing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3276604.3276612}, year = {2018}, } Publisher's Version Published Artifact 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)


@InProceedings{SLE18p168, author = {Juan de Lara and Esther Guerra and Jörg Kienzle and Yanis Hattab}, title = {Facet-Oriented Modelling: Open Objects for Model-Driven Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {168-167}, doi = {10.1145/3276604.3276610}, year = {2018}, } Publisher's Version

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


@InProceedings{SLE18p183, author = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay}, title = {Analysing Meta-Model Product Lines}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3276604.3276609}, year = {2018}, } Publisher's Version

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


@InProceedings{SLE18p198, author = {Arvid Butting and Nico Jansen and Bernhard Rumpe and Andreas Wortmann}, title = {Translating Grammars to Accurate Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {198-197}, doi = {10.1145/3276604.3276605}, year = {2018}, } 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)


@InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } 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)


@InProceedings{SLE18p228, author = {Benoît Lelandais and Marie-Pierre Oudot and Benoit Combemale}, title = {Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {228-227}, doi = {10.1145/3276604.3276620}, year = {2018}, } 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)


@InProceedings{SLE18p234, author = {Jasper Denkers and Louis van Gool and Eelco Visser}, title = {Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {234-233}, doi = {10.1145/3276604.3276608}, year = {2018}, } 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)


@InProceedings{SLE18p240, author = {Mauricio Verano Merino and Jurgen Vinju and Tijs van der Storm}, title = {Bacatá: A Language Parametric Notebook Generator (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {240-239}, doi = {10.1145/3276604.3276981}, year = {2018}, } 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)


@InProceedings{SLE18p246, author = {Fabien Coulon and Thomas Degueule and Tijs van der Storm and Benoit Combemale}, title = {Shape-Diverse DSLs: Languages without Borders (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {246-245}, doi = {10.1145/3276604.3276623}, year = {2018}, } Publisher's Version

proc time: 0.68