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
7561980
Achieving several goals simultaneously
R Waldinger
Readings in artificial intelligence, 250-271, 1981
4571981
The logical basis for computer programming. Volume 1: deductive reasoning
Z Manna, R Waldinger
Addison-Wesley Longman Publishing Co., Inc., 1985
3291985
Toward automatic program synthesis
Z Manna, RJ Waldinger
Communications of the ACM 14 (3), 151-165, 1971
3241971
Deductive composition of astronomical software from subroutine libraries
M Stickel, R Waldinger, M Lowry, T Pressburger, I Underwood
International Conference on Automated Deduction, 341-355, 1994
2271994
Synthesis: dreams→ programs
Z Manna, R Waldinger
IEEE Transactions on Software Engineering, 294-328, 1979
2221979
Fundamentals of deductive program synthesis
Z Manna, R Waldinger
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1992
1891992
PROW: A step toward automatic program writing
RJ Waldinger, RCT Lee
Proceedings of the 1st international joint conference on Artificial …, 1969
1651969
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
1631972
QA4: A Procedural Calculus for Intuitive Reasoning.
JF Rulifson, JA Derksen, RJ Waldinger
STANFORD RESEARCH INST MENLO PARK CALIF, 1972
1351972
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
1182004
Knowledge and reasoning in program synthesis
Z Manna, R Waldinger
Artificial intelligence 6 (2), 175-208, 1975
1171975
Deductive synthesis of the unification algorithm
Z Manna, R Waldinger
Computer Program Synthesis Methodologies, 251-307, 1983
1031983
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
991978
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
891993
How to clear a block: A theory of plans
Z Manna, R Waldinger
Journal of Automated Reasoning 3 (4), 343-377, 1987
891987
Reasoning about programs
RJ Waldinger, KN Levitt
Artificial Intelligence 5 (3), 235-316, 1974
831974
The logic of computer programming
Z Manna, R Waldinger
IEEE transactions on Software Engineering, 199-229, 1978
821978
Web agents cooperating deductively
R Waldinger
International Workshop on Formal Approaches to Agent-Based Systems, 250-262, 2000
812000
Special relations in automated deduction
Z Manna, R Waldinger
Journal of the ACM (JACM) 33 (1), 1-59, 1986
791986
The system can't perform the operation now. Try again later.
Articles 1–20