GPCE 2011: Portland, Oregon, USA

Ewen Denney, Ulrik Pagh Schultz (Eds.): Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011. ACM 2011, ISBN 978-1-4503-0689-8

Keynote address 1

Matthias Felleisen:
Multilingual component programming in racket. 1-2

Software product lines

Marko Rosenmüller, Norbert Siegmund, Mario Pukall, Sven Apel:
Tailoring dynamic software product lines. 3-12
Don S. Batory, Peter Höfner, Jongwook Kim:
Feature interactions, products, and composition. 13-22
Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares:
On the impact of feature dependencies when maintaining preprocessor-based software product lines. 23-32
Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba:
Investigating the safe evolution of software product lines. 33-42

Software components

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel:
Static analysis of aspect interaction and composition in component models. 43-52
William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen:
Infrastructure for component-based DDS application development. 53-62

Applications

Yulin Li, Gordon S. Novak Jr.:
Generation of geometric programs specified by diagrams. 63-72
Andreas Steck, Alex Lotz, Christian Schlegel:
Model-driven engineering and run-time model-usage in service robotics. 73-82
Sander Daniël Vermolen, Guido Wachsmuth, Eelco Visser:
Generating database migrations for evolving web applications. 83-92

Tech talk 1

Olivier Danvy:
Pragmatics for formal semantics. 93-94

Keynote address 2

Gary J. Shubert:
Application of model based development to flexible code generation. 95-96

Runtime

Kenichi Asai:
Reflection in direct style. 97-106
Nathaniel Nystrom, Derek White, Kishen Das:
Firepile: run-time compilation for GPUs in scala. 107-116
Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee:
Monitoring aspects for the customization of automatically generated code for big-step models. 117-126
Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser:
Declaratively defining domain-specific language debuggers. 127-136

Theory

B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik:
Less is more: unparser-completeness of metalanguages for template engines. 137-146
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann:
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. 147-156

Programming

Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun:
Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration. 157-166
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser:
Growing a language environment with editor libraries. 167-176
John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus, Sean Parent:
Helping programmers help users. 177-184

Tech talk 2

John Launchbury:
Theorem-based circuit derivation in cryptol. 185-186

Last update Fri May 25 08:15:09 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page