Jadual kandungan
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.Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 195 ● ISBN 9783642119316 ● Penyunting Ute Schmid & Emanuel Kitzelmann ● Penerbit Springer Berlin ● Bandar raya Heidelberg ● Negara DE ● Diterbitkan 2010 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2171724 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM