Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) - Softcover

Manna, Zohar

 
9780898711646: Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Softcover
ISBN 10: 0898711649 ISBN 13: 9780898711646
Publisher: Society for Industrial and Applied Mathematics, 1987

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Society for Industrial and Applied Mathematics
Publication date
1987
Language
English
ISBN 10 
0898711649
ISBN 13 
9780898711646
Binding
Paperback
Number of pages
53