Author: Zohar Manna

Publications

Co-authors

Adi Shamir

1

Jean Vuillemin

2

Richard J. Waldinger

2

Productive Colleagues

Richard J. Waldinger

3

Jean Vuillemin

5

Adi Shamir

5

Publications

Dershowitz, Nachum, Manna, Zohar (1979): Proving Termination with Multiset Orderings. In Communications of the ACM, 22 (8) pp. 465-476.

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.

Manna, Zohar, Shamir, Adi (1977): The Optimal Approach to Recursive Programs. In Communications of the ACM, 20 (11) pp. 824-831.

Katz, Shmuel, Manna, Zohar (1976): Logical Analysis of Programs. In Communications of the ACM, 19 (4) pp. 188-206.

Manna, Zohar, Nes, Stephen, Vuillemin, Jean (1973): Inductive Methods for Proving Properties of Programs. In Communications of the ACM, 16 (8) pp. 491-502.

Manna, Zohar, Vuillemin, Jean (1972): Fix Point Approach to the Theory of Computation. In Communications of the ACM, 15 (7) pp. 528-536.

Manna, Zohar, Waldinger, Richard J. (1971): Toward Automatic Program Synthesis. In Communications of the ACM, 14 (3) pp. 151-165.