Lectures on the logic of computer programming /
Saved in:
| Author / Creator: | Manna, Zohar |
|---|---|
| Imprint: | Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980. |
| Description: | iv, 49 p. ; 25 cm. |
| Language: | English |
| Series: | CBMS-NSF regional conference series in applied mathematics 31 CBMS-NSF regional conference series in applied mathematics 31 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/371876 |
| Summary: | 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. |
|---|---|
| Physical Description: | iv, 49 p. ; 25 cm. |
| Bibliography: | Bibliography: p. 49 |
| ISBN: | 0898711649 |
