An Algebraic Foundation for Automatic Feature-Based Program Synthesis (0)

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