SLE 2017 – Proceedings

Frontmatter

Keynotes

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

Publisher's Version Article: sle17key-key1-p (type: Invited Talk Abstract (1 page)) doi:10.1145/3136014.3148041

Parsing

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main3-p (type: Full Paper) doi:10.1145/3136014.3136016

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main15-p (type: Full Paper) doi:10.1145/3136014.3136022

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

Publisher's Version Article: sle17main-sle17main25-p (type: Full Paper) doi:10.1145/3136014.3136025

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

Publisher's Version Article: sle17main-sle17main63-p (type: Full Paper (4 pages of text + references)) doi:10.1145/3136014.3136036

Textual Models

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

Publisher's Version Article: sle17main-sle17main61-p (type: Full Paper) doi:10.1145/3136014.3136035

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)

Publisher's Version Artifacts Functional Article: sle17main-sle17main12-p (type: Full Paper) doi:10.1145/3136014.3136020

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)

Publisher's Version Artifacts Functional Article: sle17main-sle17main66-p (type: Full Paper) doi:10.1145/3136014.3136037

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main56-p (type: Full Paper) doi:10.1145/3136014.3136034

DSLs

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main7-p (type: Full Paper) doi:10.1145/3136014.3136019

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)

Publisher's Version Article: sle17main-sle17main67-p (type: Full Paper) doi:10.1145/3136014.3136038

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)

Publisher's Version Artifacts Functional Article: sle17main-sle17main35-p (type: Full Paper) doi:10.1145/3136014.3136027

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)

Publisher's Version Article: sle17main-sle17main54-p (type: Full Paper) doi:10.1145/3136014.3136033

Grammars

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main21-p (type: Full Paper) doi:10.1145/3136014.3136024

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main53-p (type: Full Paper) doi:10.1145/3136014.3136032

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

Publisher's Version Article: sle17main-sle17main16-p (type: Full Paper) doi:10.1145/3136014.3136023

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)

Publisher's Version Artifacts Functional Article: sle17main-sle17main5-p (type: Full Paper (6 pages of text + references)) doi:10.1145/3136014.3136018

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)

Publisher's Version Article: sle17main-sle17main4-p (type: Full Paper) doi:10.1145/3136014.3136017

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main28-p (type: Full Paper) doi:10.1145/3136014.3136026

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

Publisher's Version Article: sle17main-sle17main14-p (type: Full Paper) doi:10.1145/3136014.3136021

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

Publisher's Version Article: sle17main-sle17main38-p (type: Full Paper (4 pages of text + references)) doi:10.1145/3136014.3136028

GPL/DSL Implementation

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

Publisher's Version Article: sle17main-sle17main45-p (type: Full Paper) doi:10.1145/3136014.3136029

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)

Publisher's Version Article: sle17main-sle17main2-p (type: Full Paper) doi:10.1145/3136014.3136015

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

Publisher's Version Artifacts Functional Article: sle17main-sle17main48-p (type: Full Paper) doi:10.1145/3136014.3136030

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)

Publisher's Version Article: sle17main-sle17main52-p (type: Full Paper) doi:10.1145/3136014.3136031

proc time: 0.04