GPCE B

12 papers

YearTitle / Authors
2020A domain-specific language for filtering in application-level gateways.
Hampus Balldin, Christoph Reichenbach
2020Automated variability injection for graphical modelling languages.
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara
2020Correctness-by-construction for feature-oriented software product lines.
Tabea Bordis, Tobias Runge, Ina Schaefer
2020Fluid quotes: metaprogramming across abstraction boundaries with dependent types.
Shadaj Laddad, Koushik Sen
2020GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020.
Martin Erwig, Jeff Gray
2020Manipulating GUI structures declaratively.
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
2020Modeling black-box components with probabilistic synthesis.
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
2020Multi-stage programming in the large with staged classes.
Lionel Parreaux, Amir Shaikhha
2020PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report.
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
2020Reorganizing queries with grouping.
Rui Okura, Yukiyoshi Kameyama
2020VarSem: declarative expression and automated inference of variable usage semantics.
Yin Liu, Eli Tilevich
2020eFLINT: a domain-specific language for executable norm specifications.
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers