Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Schmid, Ute (Editor ), Kitzelmann, Emanuel (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Computer Science, 5812
Temas:
Software engineering.
Artificial intelligence.
Machine theory.
Computer science.
Application software.
Computer programming.
Software Engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares