Login / Signup

Inductive Synthesis of Recursive Functional Programs.

Martin HofmannAndreas HirschbergerEmanuel KitzelmannUte Schmid
Published in: KI (2007)
Keyphrases
  • functional programs
  • term rewriting systems
  • logic programs
  • lazy evaluation
  • functional language
  • stochastic grammar
  • recursive programs
  • databases
  • general purpose