Revision as of 03:22, 19 June 2006 edit 69.145.123.171 (talk) fix ← Previous edit		Revision as of 13:46, 7 October 2006 edit undo Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits Added book information Next edit →
Line 1: '''Unifying Theories of Programming''' deals with [[program semantics]]. It shows how [[denotational semantics]], [[operational semantics]] and [[algebraic semantics]] can be combined in a unified framework for the [[formal specification]], design and implementation of [[program]]s and [[computer system]]s. The book of this title by [[C.A.R. Hoare]] and [[He Jifeng]] was published in the [[Prentice Hall International Series in Computer Science]] in [[1998]] (ISBN 0-13-458761-8). == External links ==

Unifying Theories of Programming: Difference between revisions