Inductive Synthesis of Programs for Recursive Functions from Sample Computations

Efim B. Kinber. Inductive Synthesis of Programs for Recursive Functions from Sample Computations. Elektronische Informationsverarbeitung und Kybernetik, 25(8/9):435-456, 1989.

Abstract

Abstract is missing.