BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Waldinger:Richard_J=

Contributed to:

CADE 19941994
CADE 19921992
CADE 19901990
SIGMOD 19881988
CADE 19861986
LICS 19861986
ICALP 19851985
LFP 19841984
ICSE 19781978
ICSE 19761976
POPL 19731973

Wrote 11 papers:

CADE-1994-StickelWLPU #composition #deduction #library
Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.