Зміст
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.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● Сторінки 195 ● ISBN 9783642119316 ● Редактор Ute Schmid & Emanuel Kitzelmann ● Видавець Springer Berlin ● Місто Heidelberg ● Країна DE ● Опубліковано 2010 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2171724 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM