Waldinger, Richard J.

6 publications

AAAI 2000 Using Prior Knowledge: Problems and Solutions Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger
AAAI 1987 The Deductive Synthesis of Imperative LISP Programs Zohar Manna, Richard J. Waldinger
IJCAI 1985 The Origin of the Binary-Search Paradigm Zohar Manna, Richard J. Waldinger
IJCAI 1977 The Automatic Synthesis of Systems of Recursive Programs Zohar Manna, Richard J. Waldinger
IJCAI 1975 Knowledge and Reasoning in Program Synthesis Richard J. Waldinger, Zohar Manna
IJCAI 1969 PROW: A Step Toward Automatic Program Writing Richard J. Waldinger, Richard C. T. Lee