Delivery included to the United States

Domains for Denotational Semantics

Domains for Denotational Semantics - Prentice-Hall International Series in Computer Science

Paperback (31 Mar 1992)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

The first half of this advanced-level book introduces readers to the techniques required to solve domain equations and understand the solutions. The second half illustrates the theory by using the domains to give semantics to various programming languages.;The book is centred on Scott's information systems which are based on the notion that an object (program) should be identified with the set of propositions, in some well-chosen language, that are true for it.

About the Publisher

Pearson Education Limited

Book information

ISBN: 9780132185462
Publisher: Pearson Education Limited
Imprint: Pearson Education Limited
Pub date:
DEWEY: 005.1
Number of pages: 300
Weight: 700g
Height: 235mm
Width: 178mm