Richard Waldinger
Affiliations: | 1969 | Carnegie Mellon University, Pittsburgh, PA |
Website:
https://en.wikipedia.org/wiki/Richard_WaldingerGoogle:
"Richard Waldinger"Mean distance: (not calculated yet)
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Manna Z, Waldinger R. (1992) Fundamentals of deductive program synthesis Ieee Transactions On Software Engineering. 18: 674-704 |
| Manna Z, Waldinger R. (1987) The origin of a binary-search paradigm Science of Computer Programming. 9: 37-83 |
| Manna Z, Waldinger R. (1987) How to clear a block: A theory of plans Journal of Automated Reasoning. 3: 343-377 |
| Manna Z, Waldinger R. (1986) Special Relations in Automated Deduction Journal of the Acm (Jacm). 33: 1-59 |
| Manna Z, Waldinger R. (1981) Problematic features of programming languages: a situational-calculus approach Acta Informatica. 16: 371-426 |
| Manna Z, Waldinger R. (1980) A Deductive Approach to Program Synthesis Acm Transactions On Programming Languages and Systems (Toplas). 2: 90-121 |
| Manna Z, Waldinger R. (1979) Synthesis: Dreams ===> Programs Ieee Transactions On Software Engineering. 294-328 |
| Manna Z, Waldinger R. (1978) Is “Sometime” Sometimes Better than “Always”?: Intermittent Assertions in Proving Program Correctness Communications of the Acm. 21: 159-172 |
| Manna Z, Waldinger R. (1978) The Logic of Computer Programming Ieee Transactions On Software Engineering. 199-229 |
| Manna Z, Waldinger R. (1977) The automatic synthesis of recursive programs Acm Sigplan Notices. 12: 29-36 |