Author: Richard J. Waldinger

Publication Overview

Publication period start: 1978
Number of co-authors: 3

Co-Authors

Number of publications with favourite co-authors

Richard C. T. Lee
1
Chin-Liang Chang
1
Zohar Manna
2

Productive Colleagues

Most productive colleagues in number of publications

Chin-Liang Chang
1
Richard C. T. Lee
3
Zohar Manna
7

Publications

Manna, Zohar, Waldinger, Richard J. (1978): Is \"Sometime\" Sometimes Better Than \"Always\"? (Intermittent Assertions in Proving Prog. In Communications of the ACM, 21 (2) pp. 159-172.
Lee, Richard C. T., Chang, Chin-Liang, Waldinger, Richard J. (1974): An Improved Program-Synthesizing Algorithm and Its Correctness. In Communications of the ACM, 17 (4) pp. 211-217.
Manna, Zohar, Waldinger, Richard J. (1971): Toward Automatic Program Synthesis. In Communications of the ACM, 14 (3) pp. 151-165.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Get one powerful email each week, like 326,263 others.

Learn to design a life you love.

Next email in
7
days
0
hrs
2
mins
39
secs