Program Correctness over Abstract Data Types, With Error State Semantics (Cwi Monographs, Band 6)

Tucker, J. V.:

ISBN 10: 0444703403 / ISBN 13: 9780444703408

Published by Elsevier Science Ltd, 1988

About this Item

212 p. Good condition. Reading pages are clean and without marks. Retired library exemplar, with the usual marking. Book shows slight signs of storage and usage. No dust jacket. Still good copy. 9780444703408 Sprache: Englisch Gewicht in Gramm: 1000.

Seller Inventory # 312495

Bibliographic Details

• Title: Program Correctness over Abstract Data Types, With Error State Semantics (Cwi Monographs, Band 6)
• Publisher: Elsevier Science Ltd
• Publication Date: 1988
• Language: English
• ISBN 10: 0444703403
• ISBN 13: 9780444703408
• Binding: Hardcover
• Seller catalogs:
  • Informatik

About this title

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.