Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen
Proceedings of the Fifth International Conference on Generative Programming and Component Engineering
GPCE, 2006.

@proceedings{GPCE-2006,
	address       = "Portland, Oregon, USA",
	editor        = "Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen",
	isbn          = "1-59593-237-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth International Conference on Generative Programming and Component Engineering}",
	year          = 2006,
}

Event page: http://program-transformation.org/GPCE06/WebHome

Contents (31 items)

5 ×#generative
3 ×#aspect-oriented
3 ×#multi
2 ×#analysis
2 ×#constraints
2 ×#debugging
2 ×#domain-specific language
2 ×#metaprogramming
2 ×#named
2 ×#product line

GPCE-2006-KaminAK #analysis #generative #staging

Staging static analyses for program generation (SK, BA, MK), pp. 1–10.

GPCE-2006-VieraP #analysis #multi

A multi-stage language with intensional analysis (MV, AP), pp. 11–20.

GPCE-2006-Riehl #tool support

Assimilating MetaBorg: : embedding language tools in languages (JR), pp. 21–28.

GPCE-2006-Moreno #generative

Creating custom containers with generative techniques (GAM), pp. 29–38.

GPCE-2006-StuckenholzO #component

Safe component updates (AS, AO), pp. 39–48.

GPCE-2006-ReppyS #generative #interface

Application-specific foreign-interface generation (JHR, CS), pp. 49–58.

GPCE-2006-ApelB #aspect-oriented #case study

When to use features and aspects?: a case study (SA, DSB), pp. 59–68.

GPCE-2006-YanagisawaKC #aspect-oriented #kernel

A dynamic aspect-oriented system for OS kernels (YY, KK, SC), pp. 69–78.

GPCE-2006-DouenceBNS #aspect-oriented #concurrent

Concurrent aspects (RD, DLB, JN, MS), pp. 79–88.

GPCE-2006-TilevichS #program transformation

Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.

GPCE-2006-MascenaMAG #effectiveness #reuse #towards

Towards an effective integrated reuse environment (JCCPM, SRdLM, ESdA, VCG), pp. 95–100.

GPCE-2006-PerryJW #contract #linear #logic

Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.

GPCE-2006-BradyH #compilation #interpreter #staged

A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.

GPCE-2006-DenneyF #algorithm #automation #certification #safety

A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.

GPCE-2006-ReederG #programming #visual notation

A graphical programming system for molecular motif search (JR, RG), pp. 131–140.

GPCE-2006-Fontijne #algebra #generative #geometry #implementation

Gaigen 2: a geometric algebra implementation generator (DF), pp. 141–150.

GPCE-2006-BromanNF #constraints #equation #using

Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.

GPCE-2006-LammelO #integration

Software extension and integration with type classes (RL, KO), pp. 161–170.

GPCE-2006-BinderH #bytecode #flexibility #metric #performance

Flexible and efficient measurement of dynamic bytecode metrics (WB, JH), pp. 171–180.

GPCE-2006-Weimer #debugging

Patches as better bug reports (WW), pp. 181–190.

GPCE-2006-TrujilloBD #multi #product line #refactoring

Feature refactoring a multi-representation program into a product line (ST, DSB, OD), pp. 191–200.

GPCE-2006-AlvesGMKBL #product line #refactoring

Refactoring product lines (VA, RG, TM, UK, PB, CJPdL), pp. 201–210.

GPCE-2006-CzarneckiP #constraints #ocl #verification

Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.

GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification

Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.

GPCE-2006-Prehofer #composition #multi #reasoning #semantics

Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.

GPCE-2006-ShiCX #distributed #metaprogramming

Distributed meta-programming (RS, CC, HX), pp. 243–248.

GPCE-2006-JouaultBK #domain-specific language #named #specification

TCS: a DSL for the specification of textual concrete syntaxes in model engineering (FJ, JB, IK), pp. 249–254.

GPCE-2006-PorkolabMS #c++ #debugging #metaprogramming

Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.

GPCE-2006-BaggeDHK #exception

Stayin’ Alert: Moulding Failure and Exceptions to Your Needs (AHB, VD, MH, KTK), pp. 265–274.

GPCE-2006-FahndrichCL #generative

Reflective program generation with patterns (MF, MC, JRL), pp. 275–284.

GPCE-2006-BarronC #domain-specific language #named #pervasive

YABS: a domain-specific language for pervasive computing based on stigmergy (PB, VC), pp. 285–294.