BibSonomy :: user  :: mh ::

bookmarks

publications

(3)   

• Data-Driven Induction of Recursive Functions from Input/Output-Examples
  Emanuel Kitzelmann Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), page15--26. (2007)
  to igor2 functional_programming 2007 inductive_program_synthesis inductive_functional_programming programming constructor_systems inproceedings automatic_programming induction inductive_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
  Emanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63#apr#2007.
  to 2007 induction inductive_program_synthesis automatic_programming inductive functional_programming rule-based_programming igor2 myown programming constructor_systems inductive_inference article inductive_programming published by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Induction of Functional Programs based on Relations between I/O Examples
  Emanuel Kitzelmann and Ute Schmid (2006) poster abstract .
  to inductive_functional_programming inductive_inference functional_programming inductive inductive_programming programming induction constructor_systems inductive_program_synthesis igor2 2006 extended_abstract myown automatic_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX