Unifying Theories of Programming
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.
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 science-related book is a stub. You can help Wikipedia by expanding it. |