ENGLISH

Lectures on the logic of computer programming

By Zohar Manna

Book information

Publisher
Society for Industrial and Applied Mathematics
Year
1987
ISBN
9780898711646, 0898711649
LCC
QA76.6 .M3559
Open Library ID
OL4438178M
Language
english
Format
DJVU
Filesize
269 kB (275433 bytes)
Series
CBMS-NSF regional conference series in applied mathematics 31
Pages
57\57
Library
kolxoz
DPI
300
Scanned
yes
Time added
2009-07-20 03:45:11

Description

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.

Similar books