Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
|
| Pubblicazione: | Berlin, : Springer, c2010 |
| Edizione: | 1st ed. 2010. |
| Descrizione fisica: | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Inductive programming |
| Functional programming (Computer science) | |
| Altri autori: |
SchmidU (Ute)
KitzelmannEmanuel
PlasmeijerM. J (Marinus Jacobus)
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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 IgorII from Maude to Haskell -- Automated Method Induction: Functional Goes Object Oriented -- Recent Improvements of MagicHaskeller. |
| Altri titoli varianti: | AAIP 2009 |
| Titolo autorizzato: | Approaches and applications of inductive programming |
| ISBN: | 1-280-38580-4 |
| 9786613563729 | |
| 3-642-11931-X | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484298903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 5812.
LNCS sublibrary. : SL 2, . -Programming and software engineering.