Richard J. Waldinger

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1971
Publication period end
1978
Number of co-authors
3

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.