Tabela de Conteúdo
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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 195 ● ISBN 9783642119316 ● Editor Ute Schmid & Emanuel Kitzelmann ● Editora Springer Berlin ● Cidade Heidelberg ● País DE ● Publicado 2010 ● Carregável 24 meses ● Moeda EUR ● ID 2171724 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM