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 Article: sle18main-inv1-p doi:10.1145/3276604.3284957

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 Article: sle18main-p15-p doi:10.1145/3276604.3276607

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 Article: sle18main-p40-p doi:10.1145/3276604.3276618

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 Article: sle18main-p30-p doi:10.1145/3276604.3276615

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 Article: sle18main-p6-p doi:10.1145/3276604.3276606

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 Article: sle18main-p52-p doi:10.1145/3276604.3276622

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 Article: sle18main-p24-p doi:10.1145/3276604.3276982

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 Article: sle18main-p46-p doi:10.1145/3276604.3276983

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 Article: sle18main-p34-p doi:10.1145/3276604.3276616

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 Article: sle18main-p36-p doi:10.1145/3276604.3276617

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 Article: sle18main-p44-p doi:10.1145/3276604.3276619

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 Article: sle18main-p27-p doi:10.1145/3276604.3276614

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 Article: sle18main-p20-p doi:10.1145/3276604.3276611

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 Article: sle18main-p25-p doi:10.1145/3276604.3276613

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 Article: sle18main-p21-p doi:10.1145/3276604.3276612

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 Article: sle18main-p19-p doi:10.1145/3276604.3276610

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 Article: sle18main-p18-p doi:10.1145/3276604.3276609

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 Article: sle18main-p4-p doi:10.1145/3276604.3276605

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 Article: sle18main-p51-p doi:10.1145/3276604.3276621

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 Article: sle18main-p50-p doi:10.1145/3276604.3276620

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 Article: sle18main-p17-p doi:10.1145/3276604.3276608

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 Article: sle18main-p23-p doi:10.1145/3276604.3276981

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 Article: sle18main-p53-p doi:10.1145/3276604.3276623

proc time: 0.04