The Denotational Description of Programming Languages. An Introduction.
M.J.C. Gordon
€ 63.03
FREE Delivery in Ireland
Description for The Denotational Description of Programming Languages. An Introduction.
Paperback. Num Pages: 162 pages, biography. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 272.
This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for (say) mathematicians. No knowledge of the theory of computation is required, but it would help to have some acquaintance with high level programming languages. The selection of material is based on an undergraduate semantics course taught at Edinburgh University for the last few years. Enough descriptive techniques are covered to handle all of ALGOL 50, PASCAL and other similar languages. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) ... Read more
This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for (say) mathematicians. No knowledge of the theory of computation is required, but it would help to have some acquaintance with high level programming languages. The selection of material is based on an undergraduate semantics course taught at Edinburgh University for the last few years. Enough descriptive techniques are covered to handle all of ALGOL 50, PASCAL and other similar languages. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) ... Read more
Product Details
Format
Paperback
Publication date
1984
Publisher
Springer-Verlag New York Inc. United States
Number of pages
162
Condition
New
Number of Pages
162
Place of Publication
New York, NY, United States
ISBN
9780387904337
SKU
V9780387904337
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for The Denotational Description of Programming Languages. An Introduction.