Algebraic Semantics of Imperative Programs by Joseph A. Goguen
Look inside with Google Book Preview
Algebraic Semantics of Imperative Programs
By Joseph A. Goguen

Algebraic Semantics of Imperative Programs

By (author) See other recent books by Joseph A. Goguen See other recent books by Grant Malcolm
Format: Hardback

Normal Price: $23.95
Your Price: $21.56 AUD, inc. GST
Shipping: $7.95 per order
You Save: $2.39! (10% off normal price)
Plus...earn $1.08 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas



Algebraic Semantics of Imperative Programs by Joseph A. Goguen

Book Description

Algebraic Semantics of Imperative Programs presents 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" is an equational theory, and every OBJ computation proves some 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 Programs contains many examples and exercises in program verification, all of which can be done in OBJ.

Buy Algebraic Semantics of Imperative Programs book by Joseph A. Goguen from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780262071727
ISBN-10: 026207172X
Format: Hardback
(229mm x 180mm x 20mm)
Pages: 240
Imprint: MIT Press
Publisher: MIT Press Ltd
Publish Date: 2-Jul-1996
Country of Publication: United States

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Algebraic Semantics of Imperative Programs book by Joseph A. Goguen and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Joseph A. Goguen close
»
Recent books by Grant Malcolm close
Multidisciplinary Approaches to Visual Representations and Interpretations by Grant Malcolm
Algebraic Semantics of Imperative Programs by Grant Malcolm
»
BoomerangBooks.com.au close