SLE 2020
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020)
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020), November 16-17, 2020, Virtual, USA

SLE 2020 – Preliminary Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Gradually Typing Strategies
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)
Article Search
A Family of Languages for Trustworthy Agent-Based Simulation
Steffen Zschaler and Fiona A. C. Polack
(King's College London, UK; Keele University, UK)
Article Search
Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)
Article Search
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
Article Search
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Nils Weidmann, Lars Fritsche, and Anthony Anjorin
(University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany)
Article Search
Software Language Engineers’ Worst Nightmare
Vadim Zaytsev
(University of Twente, Netherlands)
Article Search Info
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors, Emma Söderberg, and Görel Hedin
(Lund University, Sweden)
Article Search
An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer
(Stellenbosch University, South Africa)
Article Search
Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini, Dale Miller, and Jeremy G. Siek
(University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA)
Article Search
Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain; CEA LIST, Spain)
Article Search
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Christoff Rossouw and Bernd Fischer
(Stellenbosch University, South Africa)
Article Search
Featherweight Swift: A Core Calculus for Swift’s Type System
Dimitri Racordon and Didier Buchs
(n.n., Switzerland)
Article Search
Untangling Mechanized Proofs
Clément Pit-Claudel
(Massachusetts Institute of Technology, USA)
Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk
(University of Minnesota, USA)
Article Search
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
Article Search
Strategic Tree Rewriting in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)
Article Search
A Semantic Framework for PEGs
Sérgio Queiroz de Medeiros and Carlos Olarte
(Federal University of Rio Grande do Norte, Brazil)
Article Search Info
Example-Driven Software Language Engineering
Mikhail Barash
(University of Bergen, Norway)
Article Search
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)
Article Search
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(University of Rennes, France; Inria, France; CNRS, France; IRISA, France; Obeo, France; University of Toulouse, France)
Article Search
Block-Based Syntax from Context-Free Grammars
Mauricio Verano Merino and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)
Article Search

proc time: 2.92