Algebraic semantics of imperative programs /

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 sem...

Full description

Bibliographic Details

Main Author:	Goguen, Joseph
Other Authors:	Malcolm, Grant
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1996.
Series:	Foundations of computing
Subjects:	Programming languages (Electronic computers) > Semantics. Algebra. COMPUTER SCIENCE/Theoretical Computer Science Electronic books.
Online Access:	Connect to the full text of this electronic book