A Paradigm for Program Semantics
Power Structures and Duality
Published on 1. September 2001
Book
Hardback
286 pages
978-1-57586-345-0 (ISBN)
Description
This book provides a synthesis of four versions of programme 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 programme semantics into any of the others.
More details
Series
Language
English
Place of publication
Stanford
United States
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 24 mm
Width: 16 mm
Thickness: 2 mm
Weight
482 gr
ISBN-13
978-1-57586-345-0 (9781575863450)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification