This'''Unifying bookTheories 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 [[program]]s and [[computer system]]s.▼
* [[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.
