Powered by

2016 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016), October 31 – November 1, 2016, Amsterdam, Netherlands

SLE 2016 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page

Message from the Chairs

SLE 2016 Organization

Keynote

Redex: A Language for Lightweight Semantics Engineering (Keynote)
Robby Findler
(Northwestern University, USA; PLT, USA)

Info

Grammars and Parsing

Parsing and Reflective Printing, Bidirectionally
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu
(National University SOKENDAI, Japan; National Institute of Informatics, Japan; University of California at Irvine, USA; University of Minho, Portugal)

Taming Context-Sensitive Languages with Principled Stateful Parsing
Nicolas Laurent and Kim Mens
(Université Catholique de Louvain, Belgium)

Efficient Development of Consistent Projectional Editors using Grammar Cells
Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, and Thorsten Berger
(itemis, Germany; Delft University of Technology, Netherlands; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)

MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)
Juha-Pekka Tolvanen
(MetaCase, Finland)

Video

Info

Runtime Techniques

Experiences of Models@run-time with EMF and CDO
Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, and Athanasios Tsitsipas
(Ulm University, Germany; SINTEF, Norway)

Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
Salvador Martínez, Jokin García, and Jordi Cabot
(Open University of Catalonia, Spain; Inria, France; École des Mines de Nantes, France; LINA, France; IK4-IKERLAN Research Center, Spain; ICREA, Spain)

Object-Oriented Design Pattern for DSL Program Monitoring
Zoé Drey and Ciprian Teodorov
(ENSTA Bretagne, France)

Execution Framework of the GEMOC Studio (Tool Demo)
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, and Benoit Combemale
(TU Vienna, Austria; Inria, France; University of Côte d'Azur, France; University of Rennes 1, France)

Domain-Specific Languages

Language Design and Implementation for the Domain of Coding Conventions
Boryana Goncharenko and Vadim Zaytsev
(University of Amsterdam, Netherlands; Raincode, Belgium)

BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
Zhaoyi Luo and Joanne M. Atlee
(University of Waterloo, Canada)

Info

Adding Uncertainty and Units to Quantity Types in Software Models
Tanja Mayerhofer, Manuel Wimmer, and Antonio Vallecillo
(TU Vienna, Austria; University of Málaga, Spain)

FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Thomas Kühn, Kay Bierzynski, Sebastian Richly, and Uwe Aßmann
(TU Dresden, Germany)

Info

Development Environments

Towards a Universal Code Formatter through Machine Learning
Terence Parr and Jurgen Vinju
(University of San Francisco, USA; CWI, Netherlands)

Info

The IDE Portability Problem and Its Solution in Monto
Sven Keidel, Wulf Pfeiffer, and Sebastian Erdweg
(Delft University of Technology, Netherlands; TU Darmstadt, Germany)

Info

Principled Syntactic Code Completion using Placeholders
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, and Eelco Visser
(Delft University of Technology, Netherlands)

Info

DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Joel Lindholm, Johan Thorsberg, and Görel Hedin
(Lund University, Sweden)

Language Validation

Automated Testing Support for Reactive Domain-Specific Modelling Languages
Bart Meyers, Joachim Denil, István Dávid, and Hans Vangheluwe
(University of Antwerp, Belgium; McGill University, Canada)

Side Effects Take the Blame
Felipe Bañados Schwerter
(University of British Columbia, Canada)

Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark)

Raincode Assembler Compiler (Tool Demo)
Volodymyr Blagodarov, Yves Jaradin, and Vadim Zaytsev
(Raincode, Belgium)

Info

Model Transformation

Efficient Model Partitioning for Distributed Model Transformations
Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, and Jordi Cabot
(AtlanMod, France; Inria, France; École des Mines de Nantes, France; LINA, France; Autonomous University of Madrid, Spain; Open University of Catalonia, Spain)

Coupled Software Transformations — Revisited
Ralf Lämmel
(University of Koblenz-Landau, Germany)

Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
André L. Santos and Eduardo Gomes
(University Institute of Lisbon, Portugal)

proc time: 0.65