Rewitsky Ingrid (1 results)
Author:
A Paradigm for Program Semantics: Power Structures and Duality
C. Brink; Ingrid Rewitzky; Ingrid M. Rewitsky (Lecturer in Mathematics, University of Cape Town, South Africa)
Language: English
Published by Centre for the Study of Language & Information, 2002
- Softcover
Seller: Asano Bookshop, Nagoya, AICHI, JapanAsano Bookshop
Contact seller5-star sellerCondition: New
US$ 28.50
US$ 37.00 shippingShips from Japan to U.S.A.Quantity: 1 available
Condition: Brand New. This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
