Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Malcolm, Grant.
cover
Algebraic semantics of imperative programs
Comment Share
Goguen, Joseph.Malcolm, Grant.

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 s…

Edition
-
ISBN/ISSN
0262288451
Collation
1 online resource (vii, 228 pages) :illustrations.
Series Title
-
Call Number
-