Cuprins
Invited Papers.- Deriving a Relationship from a Single Example.- Synthesis of Functions Using Generic Programming.- Regular Papers.- Inductive Programming: A Survey of Program Synthesis Techniques.- Incremental Learning in Inductive Programming.- Enumerating Well-Typed Terms Generically.- Generalisation Operators for Lists Embedded in a Metric Space.- Porting Igor II from Maude to Haskell.- Automated Method Induction: Functional Goes Object Oriented.- Recent Improvements of Magic Haskeller.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 195 ● ISBN 9783642119316 ● Editor Ute Schmid & Emanuel Kitzelmann ● Editura Springer Berlin ● Oraș Heidelberg ● Țară DE ● Publicat 2010 ● Descărcabil 24 luni ● Valută EUR ● ID 2171724 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM