Unifying Theories of Programming
| Author | C. A. R. Hoare He Jifeng |
|---|---|
| Language | English |
| Series | Series in Computer Science |
| Genre | Scientific non-fiction |
| Publisher | Prentice Hall |
Publication date | 1998 |
| Publication place | United Kingdom |
| Pages | xix+298 |
| ISBN | 0-13-458761-8 |
| 005.1/01 | |
| LC Class | QA76.6. .H5735 1998 |
| Website | unifyingtheories.org |
Unifying Theories of Programming (UTP) in computer science 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 programs and computer systems.
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 has been made freely available on the web.
A UTP Symposium series was started in 2006.