SLE 2020

21 papers

1. A family of languages for trustworthy agent-based simulation · Steffen Zschaler, Fiona A. C. Polack
2. A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars · Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer
3. A search-based and fault-tolerant approach to concurrent model synchronisation · Nils Weidmann, Lars Fritsche, Anthony Anjorin
4. A semantic framework for PEGs · Sérgio Queiroz de Medeiros, Carlos Olarte
5. An interactive feedback system for grammar development (tool paper) · Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer
6. Annotating executable DSLs with energy estimation formulas · Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé
7. Behavior trees in action: a study of robotics applications · Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
8. Block-based syntax from context-free grammars · Mauricio Verano Merino, Tijs van der Storm
9. Example-driven software language engineering · Mikhail Barash
10. Extrinsically typed operational semantics for functional languages · Matteo Cimini, Dale Miller, Jeremy G. Siek
11. Featherweight Swift: a Core calculus for Swift's type system · Dimitri Racordon, Didier Buchs
12. Gradually typing strategies · Jeff Smits, Eelco Visser
13. Grammar-based testing for little languages: an experience report with student compilers · Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer
14. Modular and distributed IDE · Fabien Coulon, Alex Auvolat, Benoît Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais + 1 more
15. Monadification of attribute grammars · Dawn Michaelson, Eric Van Wyk
16. Principles and patterns of JastAdd-style reference attribute grammars · Niklas Fors, Emma Söderberg, Görel Hedin
17. Software language engineers' worst nightmare · Vadim Zaytsev
18. Strategic tree rewriting in attribute grammars · Lucas Kramer, Eric Van Wyk
19. Test case generation from context-free grammars using generalized traversal of LR-automata · Christoff Rossouw, Bernd Fischer
20. Towards the optical character recognition of DSLs · Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría, Loli Burgueño, Jordi Cabot
21. Untangling mechanized proofs · Clément Pit-Claudel