Publications
On the Synthesis of Finite-State Machines from Samples of Their Behavior.
IEEE Transactions on Computers. C-21(6), 592-596.
(1972).
(1978). System Support for the Stanford Hand-Eye System.
Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI 1971). 185-189.
(1971).
(1989).
A Testbed for the Miniature Language L0.
Proceedings of the Fifth Rocky Mountain Conference on Artificial Intelligence.
(1990).
(1988).
(1988). Total Complexity and the Inference of Best Programs.
10, 181-191.
(1977).
(1976).
(1969).
(1978). Translator writing systems.
11(2), 77-113.
(1968).
(1967).
(1977).
Unifying Control- and Data-Parallelism in an Object-Oriented Language.
Proceedings of the Joint Symposium on Parallel Processing.
(1993).
(1971).
(1997).
(1971).
(1989).