


default search action
GPCE 2020: Virtual Event, USA
- Martin Erwig, Jeff Gray:

GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. ACM 2020, ISBN 978-1-4503-8174-1 - Bruce Collie

, Jackson Woodruff, Michael F. P. O'Boyle
:
Modeling black-box components with probabilistic synthesis. 1-14 - Antonio Garmendia, Manuel Wimmer, Esther Guerra

, Elena Gómez-Martínez, Juan de Lara:
Automated variability injection for graphical modelling languages. 15-21 - Tabea Bordis

, Tobias Runge, Ina Schaefer:
Correctness-by-construction for feature-oriented software product lines. 22-34 - Lionel Parreaux

, Amir Shaikhha:
Multi-stage programming in the large with staged classes. 35-49 - Rui Okura

, Yukiyoshi Kameyama
:
Reorganizing queries with grouping. 50-62 - Knut Anders Stokke, Mikhail Barash, Jaakko Järvi:

Manipulating GUI structures declaratively. 63-69 - Benjamin Rouxel, Ulrik Pagh Schultz

, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck:
PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report. 70-83 - Yin Liu

, Eli Tilevich:
VarSem: declarative expression and automated inference of variable usage semantics. 84-97 - Shadaj Laddad

, Koushik Sen:
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. 98-110 - Hampus Balldin, Christoph Reichenbach

:
A domain-specific language for filtering in application-level gateways. 111-123 - L. Thomas van Binsbergen

, Lu-Chi Liu, Robert van Doesburg
, Tom M. van Engers:
eFLINT: a domain-specific language for executable norm specifications. 124-136

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














