Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642119309, 9783642119316

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving a Relationship from a Single Example

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_1 ◽

2010 ◽

pp. 1-24

Author(s):

Neil Mitchell

Download Full-text

Incremental Learning in Inductive Programming

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_4 ◽

2010 ◽

pp. 74-92 ◽

Cited By ~ 3

Author(s):

Robert Henderson

Keyword(s):

Incremental Learning ◽

Inductive Programming

Download Full-text

Inductive Programming: A Survey of Program Synthesis Techniques

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_3 ◽

2010 ◽

pp. 50-73 ◽

Cited By ~ 28

Author(s):

Emanuel Kitzelmann

Keyword(s):

Program Synthesis ◽

Synthesis Techniques ◽

Inductive Programming

Download Full-text

Enumerating Well-Typed Terms Generically

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_5 ◽

2010 ◽

pp. 93-116 ◽

Cited By ~ 2

Author(s):

Alexey Rodriguez Yakushev ◽

Johan Jeuring

Download Full-text

Porting IgorII from Maude to Haskell

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_7 ◽

2010 ◽

pp. 140-158 ◽

Cited By ~ 1

Author(s):

Martin Hofmann ◽

Emanuel Kitzelmann ◽

Ute Schmid

Download Full-text

Generalisation Operators for Lists Embedded in a Metric Space

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_6 ◽

2010 ◽

pp. 117-139

Author(s):

V. Estruch ◽

C. Ferri ◽

J. Hernández-Orallo ◽

M. J. Ramírez-Quintana

Keyword(s):

Metric Space

Download Full-text

Recent Improvements of MagicHaskeller

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_9 ◽

2010 ◽

pp. 174-193 ◽

Cited By ~ 5

Author(s):

Susumu Katayama

Download Full-text

Automated Method Induction: Functional Goes Object Oriented

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_8 ◽

2010 ◽

pp. 159-173

Author(s):

Thomas Hieber ◽

Martin Hofmann

Keyword(s):

Object Oriented ◽

Automated Method

Download Full-text

Synthesis of Functions Using Generic Programming

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11931-6_2 ◽

2010 ◽

pp. 25-49

Author(s):

Pieter Koopman ◽

Rinus Plasmeijer

Keyword(s):

Generic Programming

Download Full-text

Approaches and Applications of Inductive Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Deriving a Relationship from a Single Example

Incremental Learning in Inductive Programming

Inductive Programming: A Survey of Program Synthesis Techniques

Enumerating Well-Typed Terms Generically

Porting IgorII from Maude to Haskell

Generalisation Operators for Lists Embedded in a Metric Space

Recent Improvements of MagicHaskeller

Automated Method Induction: Functional Goes Object Oriented

Synthesis of Functions Using Generic Programming

Approaches and Applications of Inductive Programming - Lecture Notes in Computer Science
Latest Publications