SLE 2017 – Proceedings

Frontmatter

Keynotes

Engineering Meta-languages for Specifying Software Languages (Keynote)
Peter D. Mosses
(Swansea University, UK)


@InProceedings{SLE17p1, author = {Peter D. Mosses}, title = {Engineering Meta-languages for Specifying Software Languages (Keynote)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3136014.3148041}, year = {2017}, } Publisher's Version

Parsing

Type-Safe Modular Parsing
Haoyuan Zhang, Huang Li, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)


@InProceedings{SLE17p100, author = {Haoyuan Zhang and Huang Li and Bruno C. d. S. Oliveira}, title = {Type-Safe Modular Parsing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3136014.3136016}, year = {2017}, } Publisher's Version Artifacts Functional

Incremental Packrat Parsing
Patrick Dubroy and Alessandro Warth
(Y Combinator Research, USA)


@InProceedings{SLE17p112, author = {Patrick Dubroy and Alessandro Warth}, title = {Incremental Packrat Parsing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {112-111}, doi = {10.1145/3136014.3136022}, year = {2017}, } Publisher's Version Artifacts Functional

A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
Kimio Kuramitsu
(Yokohama National University, Japan)


@InProceedings{SLE17p124, author = {Kimio Kuramitsu}, title = {A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {124-123}, doi = {10.1145/3136014.3136025}, year = {2017}, } Publisher's Version

Red Shift: Procedural Shift-Reduce Parsing (Vision Paper)
Nicolas Laurent
(Université Catholique de Louvain, Belgium)


@InProceedings{SLE17p136, author = {Nicolas Laurent}, title = {Red Shift: Procedural Shift-Reduce Parsing (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3136014.3136036}, year = {2017}, } Publisher's Version

Textual Models

Towards a Taxonomy of Grammar Smells
Mats Stijlaart and Vadim Zaytsev
(University of Amsterdam, Netherlands; Raincode Labs, Belgium)


@InProceedings{SLE17p142, author = {Mats Stijlaart and Vadim Zaytsev}, title = {Towards a Taxonomy of Grammar Smells}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {142-141}, doi = {10.1145/3136014.3136035}, year = {2017}, } Publisher's Version

Deep Priority Conflicts in the Wild: A Pilot Study
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, and Eelco Visser
(Delft University of Technology, Netherlands)


@InProceedings{SLE17p154, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Eelco Visser}, title = {Deep Priority Conflicts in the Wild: A Pilot Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3136014.3136020}, year = {2017}, } Publisher's Version Artifacts Functional

Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
Robert Bill, Patrick Neubauer, and Manuel Wimmer
(Vienna University of Technology, Austria; University of York, UK)


@InProceedings{SLE17p166, author = {Robert Bill and Patrick Neubauer and Manuel Wimmer}, title = {Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3136014.3136037}, year = {2017}, } Publisher's Version Artifacts Functional

Robust Projectional Editing
Friedrich Steimann, Marcus Frenkel, and Markus Voelter
(Fernuniversität in Hagen, Germany; itemis, Germany)


@InProceedings{SLE17p178, author = {Friedrich Steimann and Marcus Frenkel and Markus Voelter}, title = {Robust Projectional Editing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {178-177}, doi = {10.1145/3136014.3136034}, year = {2017}, } Publisher's Version Artifacts Functional

DSLs

Debugging with Domain-Specific Events via Macros
Xiangqi Li and Matthew Flatt
(University of Utah, USA)


@InProceedings{SLE17p190, author = {Xiangqi Li and Matthew Flatt}, title = {Debugging with Domain-Specific Events via Macros}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {190-189}, doi = {10.1145/3136014.3136019}, year = {2017}, } Publisher's Version Artifacts Functional

A Chrestomathy of DSL Implementations
Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, and Thorsten Berger
(University of Koblenz-Landau, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)


@InProceedings{SLE17p202, author = {Simon Schauss and Ralf Lämmel and Johannes Härtel and Marcel Heinz and Kevin Klein and Lukas Härtel and Thorsten Berger}, title = {A Chrestomathy of DSL Implementations}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {202-201}, doi = {10.1145/3136014.3136038}, year = {2017}, } Publisher's Version

A Requirements Engineering Approach for Usability-Driven DSL Development
Ankica Barišić, Dominique Blouin, Vasco Amaral, and Miguel Goulão
(NOVA-LINCS, Portugal; Nova University of Lisbon, Portugal; Telecom ParisTech, France)


@InProceedings{SLE17p214, author = {Ankica Barišić and Dominique Blouin and Vasco Amaral and Miguel Goulão}, title = {A Requirements Engineering Approach for Usability-Driven DSL Development}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {214-213}, doi = {10.1145/3136014.3136027}, year = {2017}, } Publisher's Version Artifacts Functional

Better Call the Crowd: Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, and Andrea Mauri
(Politecnico di Milano, Italy; ICREA, Spain; Open University of Catalonia, Spain)


@InProceedings{SLE17p228, author = {Marco Brambilla and Jordi Cabot and Javier Luis Cánovas Izquierdo and Andrea Mauri}, title = {Better Call the Crowd: Using Crowdsourcing to Shape the Notation of Domain-Specific Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {228-227}, doi = {10.1145/3136014.3136033}, year = {2017}, } Publisher's Version

Grammars

A Formalisation of Parameterised Reference Attribute Grammars
Scott J. H. Buckley and Anthony M. Sloane
(Macquarie University, Australia)


@InProceedings{SLE17p240, author = {Scott J. H. Buckley and Anthony M. Sloane}, title = {A Formalisation of Parameterised Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {240-239}, doi = {10.1145/3136014.3136024}, year = {2017}, } Publisher's Version Artifacts Functional

Concurrent Circular Reference Attribute Grammars
Jesper Öqvist and Görel Hedin
(Lund University, Sweden)


@InProceedings{SLE17p252, author = {Jesper Öqvist and Görel Hedin}, title = {Concurrent Circular Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {252-251}, doi = {10.1145/3136014.3136032}, year = {2017}, } Publisher's Version Artifacts Functional

Ensuring Non-interference of Composable Language Extensions
Ted Kaminski and Eric Van Wyk
(University of Minnesota, USA)


@InProceedings{SLE17p264, author = {Ted Kaminski and Eric Van Wyk}, title = {Ensuring Non-interference of Composable Language Extensions}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {264-263}, doi = {10.1145/3136014.3136023}, year = {2017}, } Publisher's Version

A Domain-Specific Controlled English Language for Automated Regulatory Compliance (Industrial Paper)
Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni
(Tata Consultancy Services, India)


@InProceedings{SLE17p276, author = {Suman Roychoudhury and Sagar Sunkle and Deepali Kholkar and Vinay Kulkarni}, title = {A Domain-Specific Controlled English Language for Automated Regulatory Compliance (Industrial Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {276-275}, doi = {10.1145/3136014.3136018}, year = {2017}, } Publisher's Version Artifacts Functional

Meta-modelling

Concrete Syntax: A Multi-paradigm Modelling Approach
Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, and Hans Vangheluwe
(University of Antwerp, Belgium; Flanders Make, Belgium; McGill University, Canada)


@InProceedings{SLE17p284, author = {Yentl Van Tendeloo and Simon Van Mierlo and Bart Meyers and Hans Vangheluwe}, title = {Concrete Syntax: A Multi-paradigm Modelling Approach}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {284-283}, doi = {10.1145/3136014.3136017}, year = {2017}, } Publisher's Version

Structural Model Subtyping with OCL Constraints
Artur Boronat
(University of Leicester, UK)


@InProceedings{SLE17p296, author = {Artur Boronat}, title = {Structural Model Subtyping with OCL Constraints}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {296-295}, doi = {10.1145/3136014.3136026}, year = {2017}, } Publisher's Version Artifacts Functional

Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Lechanceux Luhunu and Eugene Syriani
(Université de Montréal, Canada)


@InProceedings{SLE17p308, author = {Lechanceux Luhunu and Eugene Syriani}, title = {Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {308-307}, doi = {10.1145/3136014.3136021}, year = {2017}, } Publisher's Version

A Development Environment for the Alf Language within the MagicDraw UML Tool (Tool Demo)
Ed Seidewitz
(nMeta, USA)


@InProceedings{SLE17p320, author = {Ed Seidewitz}, title = {A Development Environment for the Alf Language within the MagicDraw UML Tool (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {320-319}, doi = {10.1145/3136014.3136028}, year = {2017}, } Publisher's Version

GPL/DSL Implementation

FlowSpec: Declarative Dataflow Analysis Specification
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)


@InProceedings{SLE17p326, author = {Jeff Smits and Eelco Visser}, title = {FlowSpec: Declarative Dataflow Analysis Specification}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {326-325}, doi = {10.1145/3136014.3136029}, year = {2017}, } Publisher's Version

Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, and Giuseppe Maggiore
(Università Ca' Foscari, Italy; Hogeschool Rotterdam, Netherlands; Tilburg University, Netherlands)


@InProceedings{SLE17p338, author = {Francesco Di Giacomo and Mohamed Abbadi and Agostino Cortesi and Pieter Spronck and Giuseppe Maggiore}, title = {Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {338-337}, doi = {10.1145/3136014.3136015}, year = {2017}, } Publisher's Version

Robust Programs with Filtered Iterators
Jiasi Shen and Martin Rinard
(Massachusetts Institute of Technology, USA)


@InProceedings{SLE17p350, author = {Jiasi Shen and Martin Rinard}, title = {Robust Programs with Filtered Iterators}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {350-349}, doi = {10.1145/3136014.3136030}, year = {2017}, } Publisher's Version Artifacts Functional

Energy Efficiency across Programming Languages: How Do Energy, Time, and Memory Relate?
Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, and João Saraiva
(INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Nova University of Lisbon, Portugal; LISP, Portugal; CISUC, Portugal; University of Coimbra, Portugal)


@InProceedings{SLE17p362, author = {Rui Pereira and Marco Couto and Francisco Ribeiro and Rui Rua and Jácome Cunha and João Paulo Fernandes and João Saraiva}, title = {Energy Efficiency across Programming Languages: How Do Energy, Time, and Memory Relate?}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3136014.3136031}, year = {2017}, } Publisher's Version

proc time: 0.65