Sign in

How fast is program synthesis from examples.

Rolf Wiehagen
Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases
  • program synthesis
  • recursive programs
  • training examples
  • inductive logic programming
  • database
  • data mining
  • expert systems
  • relational databases
  • relational data