Content deleted Content added
New book entry |
m Added external links |
||
Line 1:
* [[C. A. R. Hoare]] and [[He Jifeng]], '''Unifying Theories of Programming'''. [[Prentice Hall]] International Series in Computer Science, [[1998]]. ISBN 0-13-458761-8.
This book 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 [[program]]s and [[computer system]]s.
== External links ==
* [http://citeseer.ist.psu.edu/context/535366/0 Citations] listed by [[CiteSeer]]
* [http://www.cs.york.ac.uk/admit/Modules/utp.html Course] based on this book at the [[University of York]]
* [http://web.comlab.ox.ac.uk/oucl/research/areas/concurrency/research/unify/ Unifying Theories of Programming Languages] research at the [[Oxford University Computing Laboratory]]
{{compu-sci-stub}}
| |||