Spis treści
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.Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 195 ● ISBN 9783642119316 ● Redaktor Ute Schmid & Emanuel Kitzelmann ● Wydawca Springer Berlin ● Miasto Heidelberg ● Kraj DE ● Opublikowany 2010 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 2171724 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM