A Practical Introduction to Denotational Semantics

ALLISON, Lloyd

4.00 out of 5 stars

7 ratings by Goodreads

ISBN 10: 0521314232 ISBN 13: 9780521314237

Published by Cambridge UP, 1989

Language: English

Condition: Used Soft cover

Save for Later

Sold by COLLINS BOOKS, Seattle, WA, U.S.A.

Association Member:

AbeBooks Seller since April 8, 1998

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Price:

US$ 25.00

US$ 6.99 shipping within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

132pp, octavo paperback. Cambridge Computer Science Texts 23. tight binding, clean throughout, slight soiling and wear to wrape, good+.

Seller Inventory # 116333

Contact seller

Report this item

Bibliographic Details

Title

A Practical Introduction to Denotational Semantics

Publisher

Cambridge UP

Publication Date

1989

Language

English

ISBN 10

0521314232

ISBN 13

9780521314237

Binding

PAPERBACK

Edition

Reprint.

Seller catalogs

COMPUTERS

About this title

Synopsis

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.

Book Description

Numerous exercises in Pascal encourage the student to write and test definitions in this introduction to denotational semantics and its applications to programming languages.

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

Store Description

COLLINS BOOKS is an open-by-appointment shop in Seattle, WA, USA, dealing in out-of-print, hard to find, scarce scholarly titles in all fields, although primarily in history, art and anthropology of the world.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Collins Books LLC
13005 3rd Ave NE, Seattle, WA, 98125, U.S.A.

Sale & Shipping Terms

Terms of Sale

Returns accepted within 10 business days of your order.
Refunds initiated once the book in question is returned to us in the same condition as was shipped to you.

Shipping Terms

We ship 3-5 times a week, meaning all orders go out within 24-48 hours.
All orders are shipped out in thick mailers or custom cardboard boxes to ensure safe delivery.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	3 to 5 business days	2 to 3 business days
First item	US$ 6.99	US$ 14.99

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.