A deductive approach to program synthesis Z Manna, R Waldinger ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (1), 90-121, 1980 | 925 | 1980 |
Achieving several goals simultaneously R Waldinger Readings in artificial intelligence, 250-271, 1981 | 534 | 1981 |
Toward automatic program synthesis Z Manna, RJ Waldinger Communications of the ACM 14 (3), 151-165, 1971 | 449 | 1971 |
The logical basis for computer programming. Volume 1: deductive reasoning Z Manna, R Waldinger Addison-Wesley Longman Publishing Co., Inc., 1985 | 382 | 1985 |
Synthesis: dreams→ programs Z Manna, R Waldinger IEEE Transactions on Software Engineering, 294-328, 1979 | 269 | 1979 |
Deductive composition of astronomical software from subroutine libraries M Stickel, R Waldinger, M Lowry, T Pressburger, I Underwood Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 235 | 1994 |
PROW: A step toward automatic program writing RJ Waldinger, RCT Lee Proceedings of the 1st international joint conference on Artificial …, 1969 | 228 | 1969 |
Fundamentals of deductive program synthesis Z Manna, R Waldinger Department of Computer Science, Stanford University 8 (18), 674-704, 1992 | 214 | 1992 |
An assessment of techniques for proving program correctness B Elspas, KN Levitt, RJ Waldinger, A Waksman ACM Computing Surveys (CSUR) 4 (2), 97-147, 1972 | 181 | 1972 |
QA4: A procedural calculus for intuitive reasoning JF Rulifson, JA Derksen, RJ Waldinger Artificial Intelligence Center, Stanford Research Institute, 1972 | 165 | 1972 |
Knowledge and reasoning in program synthesis Z Manna, R Waldinger Artificial intelligence 6 (2), 175-208, 1975 | 160 | 1975 |
Deductive Question Answering from Multiple Resources. RJ Waldinger, DE Appelt, JL Dungan, J Fry, JR Hobbs, DJ Israel, P Jarvis, ... New Directions in Question Answering 2004, 253-262, 2004 | 122 | 2004 |
Is “sometime” sometimes better than “always”? Intermittent assertions in proving program correctness Z Manna, R Waldinger Communications of the ACM 21 (2), 159-172, 1978 | 118 | 1978 |
Deductive synthesis of the unification algorithm Z Manna, R Waldinger Science of Computer Programming 1 (1-2), 5-48, 1981 | 108 | 1981 |
The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming” Z Manna, R Waldinger Addison-Wesley Longman Publishing Co., Inc., 1993 | 104 | 1993 |
How to clear a block: A theory of plans Z Manna, R Waldinger Journal of Automated Reasoning 3 (4), 343-377, 1987 | 97 | 1987 |
Special relations in automated deduction Z Manna, R Waldinger Journal of the ACM (JACM) 33 (1), 1-59, 1986 | 94 | 1986 |
The logic of computer programming Z Manna, R Waldinger IEEE transactions on Software Engineering, 199-229, 1978 | 92 | 1978 |
Reasoning about programs RJ Waldinger, KN Levitt Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of …, 1973 | 91 | 1973 |
Web agents cooperating deductively R Waldinger Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001 | 84 | 2001 |