Revision as of 14:56, 21 September 2010 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits Added ref section ← Previous edit		Revision as of 12:14, 22 January 2011 edit undo Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits m Narrowed category 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.<ref>[[C.A.R. Hoare]] and [[He Jifeng]], ''Unifying Theories of Programming'', [[Prentice Hall International Series in Computer Science]], 1998. ISBN 0-13-458761-8.</ref> Line 8: [[Category:1998 books]] [[Category:Computer science books]] [[Category:Formal methods publications]] [[hr:Unifying Theories of Programming]]

Unifying Theories of Programming: Difference between revisions