default search action
GPCE 2006: Portland, Oregon, USA
- Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen:
Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. ACM 2006, ISBN 1-59593-237-2
Staging
- Sam Kamin, Baris Aktemur, Michael Katelman:
Staging static analyses for program generation. 1-10 - Marcos Viera, Alberto Pardo:
A multi-stage language with intensional analysis. 11-20 - Jonathan Riehl:
Assimilating MetaBorg: : embedding language tools in languages. 21-28
Components
- Gabriel A. Moreno:
Creating custom containers with generative techniques. 29-38 - Alexander Stuckenholz, Andre Osterloh:
Safe component updates. 39-48 - John H. Reppy, Chunyan Song:
Application-specific foreign-interface generation. 49-58
Advanced aspects
- Sven Apel, Don S. Batory:
When to use features and aspects?: a case study. 59-68 - Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba:
A dynamic aspect-oriented system for OS kernels. 69-78 - Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt:
Concurrent aspects. 79-88
Short papers
- Eli Tilevich, Yannis Smaragdakis:
Transparent program transformationsin the presence of opaque code. 89-94 - Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia:
Towards an effective integrated reuse environment. 95-100
Safety and verification
- Frances Perry, Limin Jia, David Walker:
Expressing heap-shape contracts in linear logic. 101-110 - Edwin C. Brady, Kevin Hammond:
A verified staged interpreter is a verified compiler. 111-120 - Ewen Denney, Bernd Fischer:
A generic annotation inference algorithm for the safety certification of automatically generated code. 121-130
Applications
- Janina Reeder, Robert Giegerich:
A graphical programming system for molecular motif search. 131-140 - Daniel Fontijne:
Gaigen 2: a geometric algebra implementation generator. 141-150 - David Broman, Kaj Nyström, Peter Fritzson:
Determining over- and under-constrained systems of equations using structural constraint delta. 151-160 - Peter Barron, Vinny Cahill:
YABS: a domain-specific language for pervasive computing based on stigmergy. 285-294
Measurement and evaluation
- Ralf Lämmel, Klaus Ostermann:
Software extension and integration with type classes. 161-170 - Walter Binder, Jarle Hulaas:
Flexible and efficient measurement of dynamic bytecode metrics. 171-180 - Westley Weimer:
Patches as better bug reports. 181-190
Program families
- Salvador Trujillo, Don S. Batory, Oscar Díaz:
Feature refactoring a multi-representation program into a product line. 191-200 - Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena:
Refactoring product lines. 201-210 - Krzysztof Czarnecki, Krzysztof Pietroszek:
Verifying feature-based model templates against well-formedness OCL constraints. 211-220
Panel discussion
- Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
Roadmap for enhanced languages and methods to aid verification. 221-236
Short papers
- Christian Prehofer:
Semantic reasoning about feature composition via multiple aspect-weavings. 237-242 - Rui Shi, Chiyan Chen, Hongwei Xi:
Distributed meta-programming. 243-248 - Frédéric Jouault, Jean Bézivin, Ivan Kurtev:
TCS: a DSL for the specification of textual concrete syntaxes in model engineering. 249-254
Compilation
- Zoltán Porkoláb, József Mihalicza, Ádám Sipos:
Debugging C++ template metaprograms. 255-264 - Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs. 265-274 - Manuel Fähndrich, Michael Carbin, James R. Larus:
Reflective program generation with patterns. 275-284
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.