Practical Introduction to Denotational Semantics

Name: Practical Introduction to Denotational Semantics
Brand: Cambridge University Press
SKU: 9780521314237
Price: 15646 HUF
Availability: InStock

Szerző: L. Allison

Nyelv:

Kötés: Puha kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

15 646 Ft

This textbook is an introduction to denotational semantics and its applications to programming langu...

Információk a könyvről

Szerző

L. Allison

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1987

oldal

148

EAN

9780521314237

ISBN

0521314232

Enbook ID

02027439

Kiadó

Cambridge University Press

Súly

214

Méretek

152 x 228 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Practical Introduction to Denotational Semantics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták