Concepedia

Richard Waldinger

RW

Statistics

Publications

34

Citations

2.2K

H-Index

21

Active since

1969

Affiliations

SRI International(Current)

Stanford University

Weizmann Institute of Science

National Institutes of Health

Richard Waldinger is an author at SRI International specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisSoftware DesignSoftware EngineeringVerification

Publications per year

1969–2007

34

Publications

34

A Deductive Approach to Program Synthesis

Zohar Manna, Richard Waldinger · ACM Transactions on Programming Languages and Systems · 1980 · 574 citations

Formal Specification, Engineering, Automated Reasoning +15

Toward automatic program synthesis

Zohar Manna, Richard Waldinger · Communications of the ACM · 1971 · 293 citations · Full text

Elementary Outline, Engineering, Induction Rule +17

Synthesis: Dreams → Programs

Zohar Manna, Richard Waldinger · IEEE Transactions on Software Engineering · 1979 · 155 citations

Engineering, Verification, Software Engineering +21

Fundamentals of deductive program synthesis

Zohar Manna, Richard Waldinger · IEEE Transactions on Software Engineering · 1992 · 142 citations

Engineering, Verification, Automated Proof +19

PROW: a step toward automatic program writing

Richard Waldinger, Richard C. T. Lee · International Joint Conference on Artificial Intelligence · 1969 · 118 citations

Engineering, Software Engineering, Prow Writes +20

1–5 of 34