A Paradigm for Program Semantics Power Structures and Duality
- List Price: $28.50
- Binding: Paperback
- Publisher: Univ of Chicago Pr
- Publish date: 09/01/2001
Description:
This book provides a synthesis of four versions of program semantics -- relational semantics, predicate transformer semantics, information systems, and domain theory -- showing that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
Expand description
Please Wait