![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
GPCE 2021: Chicago, IL, USA
- Eli Tilevich, Coen De Roover:
GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021. ACM 2021, ISBN 978-1-4503-9112-2 - Sorin Lerner
:
Live programming and programming by example: better together (keynote). 1 - Gabriela Karoline Michelon
, Wesley K. G. Assunção
, David Obermann, Lukas Linsbauer, Paul Grünbacher, Alexander Egyed:
The life cycle of features in highly-configurable software systems evolving in space and time. 2-15 - Alexandre Bragança
, Isabel Azevedo
, Nuno Bettencourt
, Carlos Morais, Diogo Teixeira, David Caetano:
Towards supporting SPL engineering in low-code platforms using a DSL approach. 16-28 - Parisa Ataei, Fariba Khan, Eric Walkingshaw:
A variational database management system. 29-42 - Mahshid Shahmohammadian
, Geoffrey Mainland
:
Metaprogramming with combinators. 43-54 - Abdallah Atouani, Jörg Christian Kirchhof
, Evgeny Kusmenko
, Bernhard Rumpe
:
Artifact and reference models for generative machine learning frameworks and build systems. 55-68 - Marco Scaletta
, Reiner Hähnle
, Dominic Steinhöfel
, Richard Bubel:
Delta-based verification of software product families. 69-82 - Artjoms Sinkarovs
, Jesper Cockx
:
Extracting the power of dependent types. 83-95 - Aleksandar S. Dimovski
:
Lifted termination analysis by abstract interpretation and its applications. 96-109 - Nicolas Stucki
, Jonathan Immanuel Brachthäuser
, Martin Odersky:
Multi-stage programming with generative and analytical macros. 110-122 - Paul Iannetta
, Laure Gonnord
, Gabriel Radanne
:
Compiling pattern matching to in-place modifications. 123-129 - Yuyan Bao
, Kirshanthan Sundararajah
, Raghav Malik
, Qianchuan Ye
, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki
, Pierre-David Letourneau, Benoît Meister
, Jonathan Springer, Tiark Rompf, Milind Kulkarni
:
HACCLE: metaprogramming for secure multi-party computation. 130-143 - Martin Erwig, Prashant Kumar:
MADMAX: a DSL for explanatory decision making. 144-155 - Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf:
On-stack replacement for program generators and source-to-source compilers. 156-169 - Nicolas Hlad, Bérénice Lemoine
, Marianne Huchard
, Abdelhak-Djamel Seriai
:
Leveraging relational concept analysis for automated feature location in software product lines. 170-183 - Yuhi Sato, Yukiyoshi Kameyama
:
Type-safe generation of modules in applicative and generative styles. 184-196 - Jörg Christian Kirchhof
, Lukas Malcher, Bernhard Rumpe
:
Understanding and improving model-driven IoT systems through accompanying digital twins. 197-209
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.