Generative Programming and Component Engineering

1. Front Matter

   Pages I-X

   PDF

2. Invited Papers

   1. Program Generation, Termination, and Binding-Time Analysis

      • Neil D. Jones, Arne J. Glenstrup

      Pages 1-31

   2. Generative Programming for Embedded Systems

      • Janos Sztipanovits, Gabor Karsai

      Pages 32-49

3. Regular Papers

   1. Self Reflection for Adaptive Programming

      • Giuseppe Attardi, Antonio Cisternino

      Pages 50-65

   2. DataScript- A Specification and Scripting Language for Binary Data

      • Godmar Back

      Pages 66-77

   3. Memoization in Type-Directed Partial Evaluation

      • Vincent Balat, Olivier Danvy

      Pages 78-92

   4. A Protocol Stack Development Tool Using Generative Programming

      • Michel Barbeau, Francis Bordeleau

      Pages 93-109

   5. Building Composable Aspect-Specific Languages with Logic Metaprogramming

      • Johan Brichau, Kim Mens, Kris De Volder

      Pages 110-127

   6. Architectural Refactoring in Framework Evolution: A Case Study

      • Greg Butler

      Pages 128-139

   7. Towards a Modular Program Derivation via Fusion and Tupling

      • Wei-Ngan Chin, Zhenjiang Hu

      Pages 140-155

   8. Generative Programming for Embedded Software: An Industrial Experience Report

      • Krzysztof Czarnecki, Thomas Bednasch, Peter Unger, Ulrich Eisenecker

      Pages 156-172

   9. A Framework for the Detection and Resolution of Aspect Interactions

      • Rémi Douence, Pascal Fradet, Mario Südholt

      Pages 173-188

   10. Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design

       • Tzilla Elrad, Omar Aldawud, Atef Bader

       Pages 189-201

   11. Macros That Compose: Systematic Macro Programming

       • Oleg Kiselyov

       Pages 202-217

   12. Program Termination Analysis in Polynomial Time

       • Chin Soon Lee

       Pages 218-235

   13. Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems

       • Sandeep Neema, Ted Bapty, Jeff Gray, Aniruddha Gokhale

       Pages 236-251

   14. Optimizing Content Management System Pipelines Separation and Merging of Concerns

       • Markus Noga, Florian Krüper

       Pages 252-267

   15. Component-Based Programming for Higher-Order Attribute Grammars

       • João Saraiva

       Pages 268-282

   16. Altering Java Semantics via Bytecode Manipulation

       • Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José Piquer

       Pages 283-298

   17. Meta-programming with Concrete Object Syntax

       • Eelco Visser

       Pages 299-315

This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6–8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a?liated workshops. The future of Software Engineering lies in the automation of tasks that are performed manually today. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are easier to write and maintain) are key technologies for automating program de- lopment. In a time of conference and workshop proliferation, GPCE represents acounter-trend in the merging of two distinct communities with strongly ov- lapping interests: the Generative and Component-Based Software Engineering Conference (GCSE) and the International Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a contemporary software engineering viewpoint; SAIG correspondingly represents a community attacking automation from a more formal programming languages viewpoint. Together, their combination provides the depth of theory and practice that one would expect in apremier research conference. Three prominent PLI invited speakers lectured at GPCE 2002: Neil Jones (University of Copenhagen), Catuscia Palamidessi (Penn State University), and Janos Sztipanovits (Vanderbilt University). GPCE 2002 received 39 submissions, of which 18 were accepted.

• Attribut
• Fusion
• Java
• Refactoring
• architecture
• automated program generation
• component engineering
• component-based systems
• domain-specific languages
• embedded systems
• modeling
• object systems
• semantics
• software architecture
• software components

• Department of Computer Sciences, University of Texas at Austin, Austin, USA

  Don Batory

• Department of Telecommunications, ENSEIRB, University of Paris IV, Talence, France

  Charles Consel

• Department of Computer Science, Rice University, Houston, USA

  Walid Taha

Policies and ethics