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.

Seller Inventory # b13586

Contact seller

Report this item

Bibliographic Details

Title: A Paradigm for Program Semantics: Power Structures and Duality
Publisher: Centre for the Study of Language & Information
Publication Date: 2002
Language: English
ISBN 10: 1575863448
ISBN 13: 9781575863443
Binding: Soft cover
Condition: Brand New

About this title

Synopsis

This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.

About the Author

Chris Brink was vice-chancellor of Newcastle University from 2007 to 2016

"About this title" may belong to another edition of this title.

Store Description

Books on American and British English Literature, background of Literature

Visit Seller's Storefront

Seller's business information

Asano Bookshop
AICHI, Japan

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Shipping rates from Japan to U.S.A.

Shipping rates from Japan to U.S.A.
Order quantity	30 to 60 business days	8 to 14 business days
First item	US$ 37.00	US$ 44.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.