Author: Richard J. Waldinger

Publications

Co-authors

Richard C. T. Lee

1

Chin-Liang Chang

1

Zohar Manna

2

Productive Colleagues

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.