𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lectures on the logic of computer programming

✍ Scribed by Zohar Manna

Book ID
127404633
Publisher
Society for Industrial and Applied Mathematics
Year
1987
Tongue
English
Weight
312 KB
Series
CBMS-NSF regional conference series in applied mathematics 31
Category
Library
City
Philadelphia, Pa
ISBN
0898711649

No coin nor oath required. For personal study only.

✦ 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.

πŸ“œ SIMILAR VOLUMES

Lectures on the logic of computer progra
Lectures on the logic of computer programming
✍ Zohar Manna πŸ“‚ Library πŸ“… 1987 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 269 KB

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 partial

On computability by logic programs
On computability by logic programs
✍ Andrei Voronkov πŸ“‚ Article πŸ“… 1995 πŸ› Springer Netherlands 🌐 English βš– 868 KB