Jump to content

Unifying Theories of Programming

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Ruud Koot (talk | contribs) at 13:31, 17 November 2005 (cat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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 programs and computer systems.

External links

Citations listed by CiteSeer
Course based on this book at the University of York
Unifying Theories of Programming Languages research at the Oxford University Computing Laboratory

This computer science article is a stub. You can help Wikipedia by expanding it.

This article about a book is a stub. You can help Wikipedia by expanding it.

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

Hidden category:

All stub articles