Unifying Theories of Programming: Difference between revisions

Revision as of 13:12, 12 November 2008

Revision as of 14:56, 21 September 2010

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>

== External linksReferences ==

{{reflist}}

* [http://citeseer.ist.psu.edu/context/535366/0 Citations]

[[Category:1998 books]]

[[Category:Computer science books]]