TY  - BOOK
AU  - Allison,Lloyd
TI  - A practical introduction to denotational semantics
T2  - Cambridge computer science texts
SN  - 9781139171892 (ebook)
AV  - QA76.7 .A45 1986
U1  - 005.13 19
PY  - 1986///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015)
N2  - 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
UR  - https://doi.org/10.1017/CBO9781139171892
ER  -