Manna, Zohar

6 publications

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 1979 A Deductive Approach to Program Synthesis Zohar Manna, Richard 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 1973 A Heuristic Approach to Program Verification Shmuel Katz, Zohar Manna