表中的内容
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.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● 网页 195 ● ISBN 9783642119316 ● 编辑 Ute Schmid & Emanuel Kitzelmann ● 出版者 Springer Berlin ● 市 Heidelberg ● 国家 DE ● 发布时间 2010 ● 下载 24 个月 ● 货币 EUR ● ID 2171724 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器