Algebraic semantics of imperative programs
By: Joseph A. Goguen and Grant Malcolm.
Contributors: Malcolm, Grant.
Series: Foundations of computing
Publisher: MIT Press; The MIT Press
Published: 1996
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 228
Subjects: Programming languages (Electronic computers) -- Semantics.; Algebra.
Notes: Includes bibliographical references (p. [223]-225) and index.