Program Correctness over Abstract Data Types, With Error State Semantics - Couverture rigide

Tucker, J. V.; Zucker, J.I.

 
9780444703408: Program Correctness over Abstract Data Types, With Error State Semantics
Couverture rigide
ISBN 10 : 0444703403 ISBN 13 : 9780444703408
Editeur : Elsevier Science Ltd, 1988

Synopsis

This research monograph is concerned with the theory of program specification and verification. More specifically, it is about proof systems, in the style of Floyd and Hoare, for proving the correctness of programs interpreted over abstract data types. In addition, the proof systems are designed to operate on programs with the semantic feature that using an uninitialised variable leads to an error message. Designed for the computer scientist, or mathematician interested in the theory of programming languages, the book discusses established and new tools necessary for proving the soundness and completeness of logics for partial and total correctness in an abstract setting. The new tools include classes of many-sorted structures, weak second order assertion languages, and, in particular, a full generalization of the theory of computable functions from the natural numbers to many-sorted abstract structures. Some new generalizations of the Church-Turing Thesis are discussed in detail.

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

Éditeur
Elsevier Science Ltd
Date d'édition
1988
Langue
anglais
ISBN 10 
0444703403
ISBN 13 
9780444703408
Reliure
Relié
Nombre de pages
220
Coordonnées du fabricant
non disponible
Personne responsable
non disponible