SLE 2025

18 papers

1. (Semantic) Feature Model Differences with (Q)SAT · Simone Heisinger, Maximilian Heisinger, Martina Seidl
2. A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries · Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will
3. A New DSL Textbook in Town! · Thorsten Berger
4. AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support · Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert
5. Boosting Parallel Parsing through Cyclic Operator Precedence Grammars · Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
6. Can Programming Be Liberated from the Functional Style? · Friedrich Steimann
7. Detecting Resource Leaks on Android with Alpakka · Gustavo Santos, João Bispo, Alexandra Mendes
8. Dynamic Dependency-Based Purity Checking · Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach
9. Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages · Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen
10. Handling Grammar Cycles in the 1997 SML Definition · Elizabeth Scott, Adrian Johnstone
11. Integrating Model Checking into a Live Modeling Environment · Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe
12. Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design · Nico Jansen, Alex Lüpges, Bernhard Rumpe
13. Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization · Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash
14. Optimize Effect Handling for Tail-resumption with Stack Unwinding · Yuze Fu, Shigeru Chiba
15. Property-based Testing of Attribute Grammars · José Nuno Macedo, Marcos Viera, João Saraiva
16. Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars · Luke Bessant, Eric Van Wyk
17. TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly · José Pedro Ferreira, João Bispo, Susana Lima
18. Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair · Aleksandar S. Dimovski