default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th SLE 2020: Virtual Event, USA
- Ralf Lämmel, Laurence Tratt, Juan de Lara:
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. ACM 2020, ISBN 978-1-4503-8176-5 - Jeff Smits
, Eelco Visser:
Gradually typing strategies. 1-15 - Steffen Zschaler, Fiona A. C. Polack:
A family of languages for trustworthy agent-based simulation. 16-21 - Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé:
Annotating executable DSLs with energy estimation formulas. 22-38 - Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer:
A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars. 39-55 - Nils Weidmann, Lars Fritsche, Anthony Anjorin:
A search-based and fault-tolerant approach to concurrent model synchronisation. 56-71 - Vadim Zaytsev:
Software language engineers' worst nightmare. 72-85 - Niklas Fors, Emma Söderberg, Görel Hedin:
Principles and patterns of JastAdd-style reference attribute grammars. 86-100 - Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer:
An interactive feedback system for grammar development (tool paper). 101-107 - Matteo Cimini, Dale Miller, Jeremy G. Siek:
Extrinsically typed operational semantics for functional languages. 108-125 - Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría, Loli Burgueño, Jordi Cabot:
Towards the optical character recognition of DSLs. 126-132 - Christoff Rossouw, Bernd Fischer:
Test case generation from context-free grammars using generalized traversal of LR-automata. 133-139 - Dimitri Racordon, Didier Buchs:
Featherweight Swift: a Core calculus for Swift's type system. 140-154 - Clément Pit-Claudel:
Untangling mechanized proofs. 155-174 - Dawn Michaelson, Eric Van Wyk:
Monadification of attribute grammars. 175-195 - Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski:
Behavior trees in action: a study of robotics applications. 196-209 - Lucas Kramer, Eric Van Wyk:
Strategic tree rewriting in attribute grammars. 210-229 - Sérgio Queiroz de Medeiros, Carlos Olarte:
A semantic framework for PEGs. 230-245 - Mikhail Barash:
Example-driven software language engineering. 246-252 - Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer:
Grammar-based testing for little languages: an experience report with student compilers. 253-269 - Fabien Coulon, Alex Auvolat, Benoît Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau:
Modular and distributed IDE. 270-282 - Mauricio Verano Merino, Tijs van der Storm:
Block-based syntax from context-free grammars. 283-295
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
