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