Abstract is missing.
- Language Design Meets Verifying Compilers (Keynote)David J. Pearce. 1-4 [doi]
- Language-Integrated Query for Temporal DataSimon Fowler 0001, Vashti Galpin, James Cheney. 5-19 [doi]
- Incremental Processing of Structured Data in DatalogAndré Pacak, Tamás Szabó, Sebastian Erdweg. 20-32 [doi]
- Deep Fusion for Efficient Nested Recursive ComputationsAmir Shaikhha. 33-44 [doi]
- Type System for Four Delimited Control OperatorsChiaki Ishio, Kenichi Asai. 45-58 [doi]
- Composable Sequence Macros for Fast IterationAnna Bolotina, Ryan Culpepper. 59-71 [doi]
- Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingMiguel Campusano, Ulrik Pagh Schultz Lundquist. 72-85 [doi]
- Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingGuilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca. 86-94 [doi]
- A Model-Driven Generative Self Play-Based Toolchain for Developing Games and PlayersEvgeny Kusmenko, Maximilian Münker, Matthias Nadenau, Bernhard Rumpe. 95-107 [doi]
- Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous DevicesArvid Butting, Jörg Christian Kirchhof, Anno Kleiss, Judith Michael, Radoslav Orlov, Bernhard Rumpe. 108-121 [doi]
- Language Support for Refactorability Decay PreventionDov Fraivert, David H. Lorenz. 122-134 [doi]
- Generic Solution-Space Sampling for Multi-domain Product LinesMarc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm 0001, Ina Schaefer. 135-147 [doi]
- Preserving Consistency of Interrelated Models during View-Based Evolution of Variable SystemsSofia Ananieva, Thomas Kühn, Ralf H. Reussner. 148-163 [doi]
- A Modern C++ Point of View of Programming in Image ProcessingMichaël Roynard, Edwin Carlinet, Thierry Géraud. 164-171 [doi]
- The Cost of Dynamism in Static Languages for Image ProcessingBaptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna. 172-178 [doi]
- SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream APIFilippo Schiavio, Andrea Rosà, Walter Binder. 179-186 [doi]