Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

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).