Coverart for item
The Resource A practical introduction to denotational semantics, Lloyd Allison

A practical introduction to denotational semantics, Lloyd Allison

Label
A practical introduction to denotational semantics
Title
A practical introduction to denotational semantics
Statement of responsibility
Lloyd Allison
Creator
Author
Subject
Language
eng
Summary
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
Member of
Cataloging source
UkCbUP
http://library.link/vocab/creatorName
Allison, Lloyd
Dewey number
005.13
Index
index present
LC call number
QA76.7
LC item number
.A45 1986
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Cambridge computer science texts
Series volume
23
http://library.link/vocab/subjectName
Programming languages (Electronic computers)
Label
A practical introduction to denotational semantics, Lloyd Allison
Instantiates
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9781139171892
Extent
1 online resource (xii, 132 pages)
Form of item
online
Isbn
9781139171892
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote
Label
A practical introduction to denotational semantics, Lloyd Allison
Publication
Note
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9781139171892
Extent
1 online resource (xii, 132 pages)
Form of item
online
Isbn
9781139171892
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Specific material designation
remote

Library Locations

Processing Feedback ...