Lectures on the Logic of Computer Programming - Couverture souple

Manna, Zohar

 
9780898711646: Lectures on the Logic of Computer Programming
Couverture souple
ISBN 10 : 0898711649 ISBN 13 : 9780898711646
Editeur : 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Society for Industrial and Applied Mathematics
Date d'édition
1987
Langue
anglais
ISBN 10 
0898711649
ISBN 13 
9780898711646
Reliure
Broché
Nombre de pages
53
Coordonnées du fabricant
non disponible
Personne responsable
non disponible