Inductive Syntactical Synthesis of Programs from Sample Computations

Efim B. Kinber. Inductive Syntactical Synthesis of Programs from Sample Computations. In Michal Chytil, Ladislav Janiga, Václav Koubek, editors, Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Volume 324 of Lecture Notes in Computer Science, pages 73-84, Springer, 1988.

Abstract

Abstract is missing.