Generative Programming and Component Engineering

ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

  • Don Batory
  • Charles Consel
  • Walid Taha
Conference proceedings GPCE 2002

DOI: 10.1007/3-540-45821-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2487)

Table of contents (20 papers)

  1. Front Matter
    Pages I-X
  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. Memoization in Type-Directed Partial Evaluation
      Vincent Balat, Olivier Danvy
      Pages 78-92
    3. A Protocol Stack Development Tool Using Generative Programming
      Michel Barbeau, Francis Bordeleau
      Pages 93-109
    4. Building Composable Aspect-Specific Languages with Logic Metaprogramming
      Johan Brichau, Kim Mens, Kris De Volder
      Pages 110-127
    5. Towards a Modular Program Derivation via Fusion and Tupling
      Wei-Ngan Chin, Zhenjiang Hu
      Pages 140-155
    6. Generative Programming for Embedded Software: An Industrial Experience Report
      Krzysztof Czarnecki, Thomas Bednasch, Peter Unger, Ulrich Eisenecker
      Pages 156-172
    7. A Framework for the Detection and Resolution of Aspect Interactions
      Rémi Douence, Pascal Fradet, Mario Südholt
      Pages 173-188
    8. Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
      Tzilla Elrad, Omar Aldawud, Atef Bader
      Pages 189-201
    9. Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems
      Sandeep Neema, Ted Bapty, Jeff Gray, Aniruddha Gokhale
      Pages 236-251
    10. Altering Java Semantics via Bytecode Manipulation
      Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José Piquer
      Pages 283-298

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Don Batory
    • 1
  • Charles Consel
    • 2
  • Walid Taha
    • 3
  1. 1.Department of Computer SciencesUniversity of Texas at AustinAustinUSA
  2. 2.Department of Telecommunications, ENSEIRBUniversity of Paris IVTalenceFrance
  3. 3.Department of Computer ScienceRice UniversityHoustonUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44284-4
  • Online ISBN 978-3-540-45821-0
  • Series Print ISSN 0302-9743