Table of Content
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.
Language English ● Format PDF ● Pages 195 ● ISBN 9783642119316 ● Editor Ute Schmid & Emanuel Kitzelmann ● Publisher Springer Berlin ● City Heidelberg ● Country DE ● Published 2010 ● Downloadable 24 months ● Currency EUR ● ID 2171724 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader