SLE B

22 papers

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