Klaus Ostermann, Walter Binder
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
GPCE, 2012.

@proceedings{GPCE-2012,
	acmid         = "2371401",
	address       = "Dresden, Germany",
	editor        = "Klaus Ostermann and Walter Binder",
	isbn          = "978-1-4503-1129-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th International Conference on Generative Programming and Component Engineering}",
	year          = 2012,
}

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

Contents (15 items)

4 ×#named
2 ×#architecture
2 ×#component
2 ×#implementation
2 ×#java
2 ×#modelling
2 ×#performance
2 ×#product line

GPCE-2012-DamianiPS #formal method #product line

A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.

GPCE-2012-ThumSHA #deduction #product line #verification

Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.

GPCE-2012-RysselPK #feature model #modelling #reasoning

Reasoning of feature models from derived features (UR, JP, KK), pp. 21–30.

GPCE-2012-RaysideMLYXJ #abstraction

Synthesizing iterators from abstraction functions (DR, VM, FL, AY, KX, DJ), pp. 31–40.

GPCE-2012-HuletteSM

Composing typemaps in Twig (GCH, MJS, ADM), pp. 41–49.

GPCE-2012-AxelsenK #java #performance #semantics #text-to-text

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.

GPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse

An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.

GPCE-2012-ZhangZUVH #component #development

A three-level component model in component based software development (H(Z, LZ, CU, SV, MH), pp. 70–79.

GPCE-2012-FreemanJF #library #named #user interface #web

HotDrink: a library for web user interfaces (JF, JJ, GF), pp. 80–83.

GPCE-2012-RicheGMB #architecture #category theory #design

Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.

GPCE-2012-BagheriS #architecture #framework #named #platform #synthesis

Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.

GPCE-2012-BauerEFP #adaptation #performance

Faster program adaptation through reward attribution inference (TB, ME, AF, JP), pp. 103–111.

GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #java #named

Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.

GPCE-2012-RafkindF #algebra #named

Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.

GPCE-2012-WalkingshawE #calculus #implementation #modelling

A calculus for modeling and implementing variation (EW, ME), pp. 132–140.