Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference,mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics,Applications,andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830,and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.

Klappentext

authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.

Inhalt
Invited Talks.- Object-Oriented Reengineering Patterns An Overview.- abc: The AspectBench Compiler for AspectJ.- Certifiable Program Generation.- Domain-Specific Language.- A Generative Programming Approach to Developing DSL Compilers.- Efficient Code Generation for a Domain Specific Language.- On Domain-Specific Languages Reengineering.- Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.- Aspect-Oriented Programming.- AOP++: A Generic Aspect-Oriented Programming Framework in C++.- Model Compiler Construction Based on Aspect-Oriented Mechanisms.- FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming.- Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.- Meta-programming and Transformation.- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax.- A Versatile Kernel for Multi-language AOP.- Semi-inversion of Guarded Equations.- Generative Techniques I.- A Generative Programming Approach to Interactive Information Retrieval:Insights and Experiences.- Optimizing Marshalling by Run-Time Program Generation.- Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform.- Multi-stage Programming.- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.- Implicitly Heterogeneous Multi-stage Programming.- Generative Techniques II.- Source-Level Optimization of Run-Time Program Generators.- Statically Safe Program Generation with SafeGen.- A Type System for Reflective Program Generators.- Sorting Out the Relationships Between Pairs of Iterators, Values, and References.- Components and Templates.- Preprocessing Eden with Template Haskell.- Syntactic Abstraction in Component Interfaces.-Component-Oriented Programming with Sharing: Containment is Not Ownership.- Generic Programming.- Language Requirements for Large-Scale Generic Libraries.- Mapping Features to Models: A Template Approach Based on Superimposed Variants.- Demonstrations.- Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application.- Metamodeling Made Easy MetaEdit+ (Tool Demonstration).