Veröffentlichungen
2011
-
Formal Products Families for Abstract Machines
A. Zelend
in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science PhD Programme (RAMiCS 12), 2011.
2010
-
An algebraic foundation for automatic feature-based program synthesis
S. Apel, C. Lengauer, B. Möller, C. Kästner
in Science of Computer Programming 75(11), pp. 1022-1047, 2010.
2008
-
An Algebra for Features and Feature Composition
S. Apel, C. Lengauer, B. Möller, C. Kästner
in J. Meseguer, G. Rosu (eds.): Algebraic Methodology and Software Technology (AMAST 08), LNCS 5140.
pp. 36-50, 2008.

