Unifying Theories of Programming: Difference between revisions

Revision as of 06:38, 16 October 2012

Revision as of 14:07, 28 February 2013

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.<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>