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.
| ISBN: | 9780898711646 |
| Publication date: | 28th February 1987 |
| Author: | Zohar Manna |
| Publisher: | Society for Industrial and Applied Mathematics an imprint of SIAM - Society for Industrial and Applied Mathematics |
| Format: | Paperback |
| Pagination: | 49 pages |
| Series: | CBMS-NSF Regional Conference Series in Applied Mathematics |
| Genres: |
Applied mathematics |
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.
Lectures on the Logic of Computer Programming features in the following genres: Applied mathematics
Paperback. Not Available.
Lectures on the Logic of Computer Programming was written by Zohar Manna and published by Society for Industrial and Applied Mathematics an imprint of SIAM - Society for Industrial and Applied Mathematics
Lectures on the Logic of Computer Programming has 49 pages
Yes it is part of CBMS-NSF Regional Conference Series in Applied Mathematics series