Revision as of 13:46, 7 October 2006 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits Added book information ← Previous edit		Revision as of 15:37, 8 November 2006 edit undo FlyHigh (talk \| contribs) 2,018 edits m Disambiguation, link to program 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 [[Computer program\|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).

Unifying Theories of Programming: Difference between revisions