Inductive Syntactical Synthesis of Programs from Sample Computations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Some Models of Inductive Syntactical Synthesis from Sample ComputationsEfim B. Kinber. balt 1991: 213-252

Inductive Synthesis of Programs for Recursive Functions from Sample ComputationsEfim B. Kinber. eik, 25(8/9):435-456, 1989.

Inductive Synthesis of Algorithms for Graphs from Sample ComputationsEfim B. Kinber. eik, 24(4/5):201-218, 1988.

runs on WebDSL