Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGPCE 2018: Boston, MA, USA
- Eric Van Wyk, Tiark Rompf:
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018. ACM 2018, ISBN 978-1-4503-6045-6
Papers
- Karl Smeltzer, Martin Erwig:
A domain-specific language for exploratory data visualization. 1-13 - Nicolas Stucki, Aggelos Biboudis, Martin Odersky:
A practical unification of multi-stage programming and macros. 14-27 - William Gallard Hatch, Matthew Flatt:
Rash: from reckless interactions to reliable programs. 28-39 - Larissa Rocha Soares, Jens Meinicke, Sarah Nadi, Christian Kästner, Eduardo Santana de Almeida:
Exploring feature interactions without specifications: a controlled experiment. 40-52 - Ebrahim Khalaj, Marwan Abi-Antoun:
Inferring ownership domains from refinements. 53-65 - Nic Volanschi, Bernard P. Serpette, Charles Consel:
Implementing a semi-causal domain-specific language for context detection over binary sensors. 66-78 - Adilla Susungi, Norman A. Rink, Albert Cohen, Jerónimo Castrillón, Claude Tadonki:
Meta-programming for cross-domain tensor optimizations. 79-92 - Sven Peldszus
, Daniel Strüber, Jan Jürjens:
Model-based security analysis of feature-oriented software product lines. 93-106 - Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, Wolfgang De Meuter:
Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs. 107-118 - Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro:
Measuring effectiveness of sample-based product-line testing. 119-133 - Weixin Zhang, Bruno C. d. S. Oliveira:
Pattern matching in an open world. 134-146 - Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski:
Verification of high-level transformations with inductive refinement types. 147-160 - Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc:
Explaining spreadsheets with spreadsheets (short paper). 161-167 - L. Thomas van Binsbergen:
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). 168-174 - Yin Liu, Kijin An, Eli Tilevich:
RT-trust: automated refactoring for trusted execution under real-time constraints. 175-187 - Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke:
Anomaly analyses for feature-model evolution. 188-201 - Gabriel Radanne, Peter Thiemann:
Regenerate: a language generator for extended regular expressions. 202-214
a service of 
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.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
