Revision as of 17:50, 14 March 2013 edit Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3513774 ← Previous edit		Revision as of 22:39, 17 September 2014 edit undo MaD70 (talk \| contribs) 478 edits The book is now freely available on the web Next edit →
Line 1: '''''Unifying Theories of Programming''''' (UTP) deals with [[program semantics]]. It shows how [[denotational semantics]], [[operational semantics]] and [[algebraic semantics (computer science)\|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 and is now freely available on the web.<ref>[[{{cite book\|last1=Hoare\|first1=C. A. R. ~~Hoare]] and [[He~~ \|last2=Jifeng~~]], ''~~\|first2=He\|title=Unifying Theories of Programming''\|date=April 1, [[1998\|publisher=Prentice Hall ~~International Series in Computer Science]], 1998. ISBN~~College Division\|isbn=978-0-13-458761-85\|pages=320\|url=http://www.unifyingtheories.org/\|accessdate=17 September 2014}}</ref> == Theories ==

Unifying Theories of Programming: Difference between revisions