Automatic synthesis of programs and inductive inference of functions

Klaus P. Jantke. Automatic synthesis of programs and inductive inference of functions. In FCT. pages 219-225, 1979.

@inproceedings{Jantke79,
  title = {Automatic synthesis of programs and inductive inference of functions},
  author = {Klaus P. Jantke},
  year = {1979},
  researchr = {https://researchr.org/publication/Jantke79},
  cites = {0},
  citedby = {0},
  pages = {219-225},
  booktitle = {FCT},
}