Scan barcode
193 pages • missing pub info (editions)
ISBN/UID: 9783642119309
Format: Paperback
Language: English
Publisher: Springer
Publication date: 14 April 2010
Description
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 exampl...
Community Reviews
Content Warnings
193 pages • missing pub info (editions)
ISBN/UID: 9783642119309
Format: Paperback
Language: English
Publisher: Springer
Publication date: 14 April 2010
Description
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 exampl...