GPCE 2006
31 papers
- A dynamic aspect-oriented system for OS kernels
- A generic annotation inference algorithm for the safety certification of automatically generated code
- A graphical programming system for molecular motif search
- A multi-stage language with intensional analysis
- A verified staged interpreter is a verified compiler
- Application-specific foreign-interface generation
- Assimilating MetaBorg: : embedding language tools in languages
- Concurrent aspects
- Creating custom containers with generative techniques
- Debugging C++ template metaprograms
- Determining over- and under-constrained systems of equations using structural constraint delta
- Distributed meta-programming
- Expressing heap-shape contracts in linear logic
- Feature refactoring a multi-representation program into a product line
- Flexible and efficient measurement of dynamic bytecode metrics
- Gaigen 2: a geometric algebra implementation generator
- Patches as better bug reports
- Refactoring product lines
- Reflective program generation with patterns
- Roadmap for enhanced languages and methods to aid verification
- Safe component updates
- Semantic reasoning about feature composition via multiple aspect-weavings
- Software extension and integration with type classes
- Staging static analyses for program generation
- Stayin' alert: : moulding failure and exceptions to your needs
- TCS: a DSL for the specification of textual concrete syntaxes in model engineering
- Towards an effective integrated reuse environment
- Transparent program transformationsin the presence of opaque code
- Verifying feature-based model templates against well-formedness OCL constraints
- When to use features and aspects?: a case study
- YABS: a domain-specific language for pervasive computing based on stigmergy