ENGLISH

Lectures on the Logic of Computer Programming

By Zohar Manna

Book information

Publisher
Society for Industrial Mathematics
Year
1987
ISBN
9780898711646, 0898711649
LCC
QA76.6 .M3559
Open Library ID
OL4438178M
Language
english
Format
PDF
Filesize
2 MB (1745552 bytes)
Series
CBMS-NSF Regional Conference Series in Applied Mathematics 31
Pages
57\57
Topic
Computers
Orientation
no
Scanned
no
Time added
2010-02-18 13:16:04

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