Follow
Richard Waldinger
Richard Waldinger
Artificial Intelligence Center, SRI International
Verified email at ai.sri.com - Homepage
Title
Cited by
Cited by
Year
A deductive approach to program synthesis
Z Manna, R Waldinger
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (1), 90-121, 1980
9191980
Achieving several goals simultaneously
R Waldinger
Readings in artificial intelligence, 250-271, 1981
5321981
Toward automatic program synthesis
Z Manna, RJ Waldinger
Communications of the ACM 14 (3), 151-165, 1971
4421971
The logical basis for computer programming. Volume 1: deductive reasoning
Z Manna, R Waldinger
Addison-Wesley Longman Publishing Co., Inc., 1985
3791985
Synthesis: dreams→ programs
Z Manna, R Waldinger
IEEE Transactions on Software Engineering, 294-328, 1979
2681979
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
2351994
PROW: A step toward automatic program writing
RJ Waldinger, RCT Lee
Proceedings of the 1st international joint conference on Artificial …, 1969
2241969
Fundamentals of deductive program synthesis
Z Manna, R Waldinger
Department of Computer Science, Stanford University 8 (18), 674-704, 1992
2141992
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
1811972
QA4: A procedural calculus for intuitive reasoning
JF Rulifson, JA Derksen, RJ Waldinger
Artificial Intelligence Center, Stanford Research Institute, 1972
1651972
Knowledge and reasoning in program synthesis
Z Manna, R Waldinger
Artificial intelligence 6 (2), 175-208, 1975
1581975
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
1222004
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
1171978
Deductive synthesis of the unification algorithm
Z Manna, R Waldinger
Science of Computer Programming 1 (1-2), 5-48, 1981
1081981
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
1021993
How to clear a block: A theory of plans
Z Manna, R Waldinger
Journal of Automated Reasoning 3 (4), 343-377, 1987
971987
Special relations in automated deduction
Z Manna, R Waldinger
Journal of the ACM (JACM) 33 (1), 1-59, 1986
931986
The logic of computer programming
Z Manna, R Waldinger
IEEE transactions on Software Engineering, 199-229, 1978
921978
Reasoning about programs
RJ Waldinger, KN Levitt
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of …, 1973
911973
Web agents cooperating deductively
R Waldinger
Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001
832001
The system can't perform the operation now. Try again later.
Articles 1–20