Inhoudsopgave
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.
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 195 ● ISBN 9783642119316 ● Editor Ute Schmid & Emanuel Kitzelmann ● Uitgeverij Springer Berlin ● Stad Heidelberg ● Land DE ● Gepubliceerd 2010 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2171724 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer