Powered by
Conference Publishing Consulting

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)
Publisher's Version Article Search 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)
Publisher's Version Article Search Artifacts Available
Taming Context-Sensitive Languages with Principled Stateful Parsing
Nicolas Laurent and Kim Mens
(Université Catholique de Louvain, Belgium)
Publisher's Version Article Search Artifacts Available
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)
Publisher's Version Article Search
MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)
Juha-Pekka Tolvanen
(MetaCase, Finland)
Publisher's Version Article Search 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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Object-Oriented Design Pattern for DSL Program Monitoring
Zoé Drey and Ciprian Teodorov
(ENSTA Bretagne, France)
Publisher's Version Article Search Artifacts Available
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)
Publisher's Version Article Search Artifacts Available

Domain-Specific Languages

Language Design and Implementation for the Domain of Coding Conventions
Boryana Goncharenko and Vadim Zaytsev
(University of Amsterdam, Netherlands; Raincode, Belgium)
Publisher's Version Article Search
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
Zhaoyi Luo and Joanne M. Atlee
(University of Waterloo, Canada)
Publisher's Version Article Search 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)
Publisher's Version Article Search
FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Thomas Kühn, Kay Bierzynski, Sebastian Richly, and Uwe Aßmann
(TU Dresden, Germany)
Publisher's Version Article Search Info Artifacts Available

Development Environments

Towards a Universal Code Formatter through Machine Learning
Terence Parr and Jurgen Vinju
(University of San Francisco, USA; CWI, Netherlands)
Publisher's Version Article Search Info Artifacts Available
The IDE Portability Problem and Its Solution in Monto
Sven Keidel, Wulf Pfeiffer, and Sebastian Erdweg
(Delft University of Technology, Netherlands; TU Darmstadt, Germany)
Publisher's Version Article Search Info Artifacts Available
Principled Syntactic Code Completion using Placeholders
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version Article Search Info
DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Joel Lindholm, Johan Thorsberg, and Görel Hedin
(Lund University, Sweden)
Publisher's Version Article Search Artifacts Available

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)
Publisher's Version Article Search
Side Effects Take the Blame
Felipe Bañados Schwerter
(University of British Columbia, Canada)
Publisher's Version Article Search
Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark)
Publisher's Version Article Search Artifacts Available
Raincode Assembler Compiler (Tool Demo)
Volodymyr Blagodarov, Yves Jaradin, and Vadim Zaytsev
(Raincode, Belgium)
Publisher's Version Article Search 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)
Publisher's Version Article Search Artifacts Available
Coupled Software Transformations — Revisited
Ralf Lämmel
(University of Koblenz-Landau, Germany)
Publisher's Version Article Search Artifacts Available
Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
André L. Santos and Eduardo Gomes
(University Institute of Lisbon, Portugal)
Publisher's Version Article Search

proc time: 0.16