Unifying theories of programming
First edition
We couldn't estimate the reading time for this book.
Author
Contributions
- C. A. R. Hoare - Series General Editor
- Richard Bird - Series General Editor
- He Jifeng - Additional Author (this edition)
- Jifeng, He, 1943- - Contributor
Publication
1998 - Prentice Hall, London, England
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL351206M
- Internet Archiveunifyingtheories00hoar
- Internet Archiveunifyingtheories00hoar_185
- ISBN-100134587618
- ISBN-139780134587615
and 2 more
- LibraryThing6308916
- Library of Congress Control Number98010608
Classifications
- DDC005.1/01
- LCCQA76.6. .H5735 1998
Description
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.
Subjects
Topics
Series Statement
- Series in Computer Science
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!