

Beschreibung
Inductive programming is concerned with the automated construction of decl- ative often functional recursiveprogramsfromincompletespeci?cationssuch as input/output examples. The inferred program must be correct with respect to the provided examples in a genera...