An algebraic foundation for automatic feature-based program synthesis (2010)

by S Apel, C Lengauer, B Möller, C Kästner
Venue:Science of Computer Programming 75