Jump to content

Unifying Theories of Programming

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Catamorphism (talk | contribs) at 05:55, 1 December 2005 (Stub-sorting. You can help!). 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 non-fiction 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=29777124"

Hidden category:

All stub articles