Travelled to:1 × France
1 × Greece
6 × USA
Collaborated with:Z.Manna ∅ X.Qian K.N.Levitt B.Jonsson Y.Malachi M.E.Stickel M.R.Lowry T.Pressburger I.Underwood
Talks about:program (5) deduct (5) synthesi (2) special (2) sometim (2) relat (2) logic (2) subroutin (1) intermitt (1) incomplet (1)
Person: Richard J. Waldinger
DBLP: Waldinger:Richard_J=
Contributed to:
199419921990
19881986
1986
1985
1984
19781976
1973Wrote 11 papers:
- CADE-1994-StickelWLPU #composition #deduction #library
- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
- CADE-1992-MannaW
- The Special-Relation Rules are Incomplete (ZM, RJW), pp. 492–506.
- CADE-1990-Waldinger #deduction #tutorial
- Tutorial on Program-Synthetic Deduction (RJW), p. 684.
- SIGMOD-1988-QianW #database #logic #specification #transaction
- A Transaction Logic for Database Specification (XQ, RJW), pp. 243–250.
- CADE-1986-MannaW #how #logic
- How to Clear a Block: Plan Formation in Situational Logic (ZM, RJW), pp. 622–640.
- LICS-1986-JonssonMW #data flow #deduction #network #synthesis #towards
- Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.
- ICALP-1985-MannaW #automation #deduction
- Special Relations in Automated Deduction (ZM, RJW), pp. 413–423.
- LFP-1984-MalachiMW #named #programming language
- TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.
- ICSE-1978-MannaW #source code #synthesis
- The Synthesis of Structure Changing Programs (ZM, RJW), pp. 175–187.
- ICSE-1976-MannaW #correctness #proving
- Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
- POPL-1973-WaldingerL #reasoning #source code
- Reasoning About Programs (RJW, KNL), pp. 169–182.