 |
|
|
Item Details
| Title:
|
SEMANTICS WITH APPLICATIONS
A FORMAL INTRODUCTION |
| By: |
Hanne Riis Nielson, Flemming Nielson |
| Format: |
Hardback |
| List price:
|
£29.95 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0471929808 |
| ISBN 13: |
9780471929802 |
| Publisher: |
JOHN WILEY AND SONS LTD |
| Pub. date: |
6 December, 1991 |
| Pages: |
252 |
| Description: |
The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics, stressing their relationship by formulating and proving relevant theorems, and illustrating the applicability of formal semantics as a tool in computer science. |
| Synopsis: |
The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages. |
| Illustrations: |
tables, further reading, bibliography, index |
| Publication: |
UK |
| Imprint: |
John Wiley & Sons Ltd |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|