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.

Details

Subject(s)
Related name
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

Other versions