Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.

Author
Goguen, Joseph [Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, [1996], ©1996.
Description
vii, 228 pages : illustrations ; 24 cm.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageQA76.7 .G62 1996 Browse related items Request

    Details

    Subject(s)
    Series
    Foundations of computing. [More in this series]
    Bibliographic references
    Includes bibliographical references (p. [223]-225) and index.
    Contents
    • 0. Introduction
    • 1. Background in General Algebra and OBJ
    • 2. Stores, Variables, Values, and Assignment
    • 3. Composition and Conditionals
    • 4. Proving Program Correctness
    • 5. Iteration
    • 6. Arrays
    • 7. Procedures
    • 8. Some Comparison with Other Approaches
    • A Summary of the Semantics
    • B First Order Logic and Induction
    • C Order Sorted Algebra
    • D OBJ3 Syntax
    • E Instructors' Guide.
    ISBN
    026207172X (hc : alk. paper)
    LCCN
    95047440
    OCLC
    33439655
    RCP
    C - O
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...

    Supplementary Information