Skip to content

  Home > Binding > Hardcover >

Algebraic Semantics of Imperative Programs (Foundations of Computing)
Algebraic Semantics of Imperative Programs (Foundations of Computing) Joseph A. Goguen, Grant Malcolm 026207172X 9780262071727 Algebraic Semantics of Imperative Programspresents a self-contained and novel "executable&
Stock Image - Actual Cover May Vary


 

Algebraic Semantics of Imperative Programs (Foundations of Computing) by Joseph A. Goguen, Grant Malcolm

Algebraic Semantics of Imperative Programspresents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the semantics highly rigorous yet simple, and provides support for the mechanical verification of program properties. OBJ was designed for algebraic semantics; its declarations introduce symbols for sorts and functions, its statements are equations, and its computations are equational proofs. Thus, an OBJ "program" isan equational theory, and every OBJ computation provessome theorem about such a theory. This means that an OBJ program used for defining the semantics of a program already has a precise mathematical meaning. Moreover, standard techniques for mechanizing equational reasoning can be used for verifying axioms that describe the effect of imperative programs on abstract machines. These axioms can then be used in mechanical proofs of properties of programs. Intended for advanced undergraduates or beginning graduate students, Algebraic Semantics of Imperative Programscontains many examples and exercises in program verification, all of which can be done in OBJ.

Author: Joseph A. Goguen, Grant Malcolm

Language: English

Binding: Hardcover

Pages: 228

Publisher: The MIT Press

Publication Date: 1996-05-22

Our Price: $3.85

Quantity:(Out of Stock)
ISBN: 026207172X


Condition:
Like-New [Add $0.60]
Very-Good [Add $0.40]
Good [Add $0.20]
Acceptable

Quantity:  
Description
 
Joseph A. Goguen, Grant Malcolm  Hardcover


Browse for more products in the same category as this item:

Binding > Hardcover

* Free Shipping applies to all orders shipped to the contiguous 48 United States. Variable shipping rates apply to Alaska, Hawaii, and the American Territories (American Samoa, the U.S. Virgin Islands, and the Northern Mariana Islands) as well as International orders shipped to countries other than the USA.