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
7981980
Achieving several goals simultaneously
R Waldinger
Readings in artificial intelligence, 250-271, 1981
4981981
The logical basis for computer programming. Volume 1: deductive reasoning
Z Manna, R Waldinger
Addison-Wesley Longman Publishing Co., Inc., 1985
3491985
Toward automatic program synthesis
Z Manna, RJ Waldinger
Communications of the ACM 14 (3), 151-165, 1971
3371971
Synthesis: dreams→ programs
Z Manna, R Waldinger
IEEE Transactions on Software Engineering, 294-328, 1979
2381979
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
2301994
Fundamentals of deductive program synthesis
Z Manna, R Waldinger
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1992
1911992
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
1741972
PROW: A step toward automatic program writing
RJ Waldinger, RCT Lee
Proceedings of the 1st international joint conference on Artificial …, 1969
1731969
QA4: A Procedural Calculus for Intuitive Reasoning.
JF Rulifson, JA Derksen, RJ Waldinger
STANFORD RESEARCH INST MENLO PARK CALIF, 1972
1421972
Knowledge and reasoning in program synthesis
Z Manna, R Waldinger
Artificial intelligence 6 (2), 175-208, 1975
1271975
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
1202004
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
1071978
Deductive synthesis of the unification algorithm
Z Manna, R Waldinger
Science of Computer Programming 1 (1-2), 5-48, 1981
971981
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
921993
How to clear a block: A theory of plans
Z Manna, R Waldinger
Journal of Automated Reasoning 3 (4), 343-377, 1987
921987
Reasoning about programs
RJ Waldinger, KN Levitt
Artificial Intelligence 5 (3), 235-316, 1974
871974
The logic of computer programming
Z Manna, R Waldinger
IEEE transactions on Software Engineering, 199-229, 1978
861978
Special relations in automated deduction
Z Manna, R Waldinger
Journal of the ACM (JACM) 33 (1), 1-59, 1986
831986
Web agents cooperating deductively
R Waldinger
International Workshop on Formal Approaches to Agent-Based Systems, 250-262, 2000
812000
The system can't perform the operation now. Try again later.
Articles 1–20