Lectures on the logic of computer programming

Zohar Manna9780898711646, 0898711649

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.

---

Table of contents :
Lectures on the Logic of Computer Programming……Page 1
ISBN: 0-89871-164-9……Page 4
Contents……Page 6
Introduction……Page 8
1 Partial Correctness……Page 10
2 Termination……Page 16
3 Total Correctness……Page 22
4 Systematic Program Annotation……Page 26
5 Synthesis of Programs……Page 32
6 Termination of Production Systems……Page 46
References……Page 56