Jump to content

Unifying Theories of Programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Lightbot (talk | contribs) at 13:12, 12 November 2008 (Date audit per mosnum/overlink/Other). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 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 (ISBN 0-13-458761-8).

Retrieved from "https://en.wikipedia.org/w/index.php?title=Unifying_Theories_of_Programming&oldid=251331958"