000			02188nam a22003498i 4500
001			CR9781139171892
003			UkCbUP
005			20200124160223.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			141103s1986||||enk o ||1 0|eng|d
020			_a9781139171892 (ebook)
020			_z9780521306898 (hardback)
020			_z9780521314237 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.7 _b.A45 1986
082	0	0	_a005.13 _219
100	1		_aAllison, Lloyd, _eauthor.
245	1	2	_aA practical introduction to denotational semantics / _cLloyd Allison.
264		1	_aCambridge : _bCambridge University Press, _c1986.
300			_a1 online resource (xii, 132 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aCambridge computer science texts ; _v23
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aThis 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.
650		0	_aProgramming languages (Electronic computers) _xSemantics.
776	0	8	_iPrint version: _z9780521306898
830		0	_aCambridge computer science texts ; _v23.
856	4	0	_uhttps://doi.org/10.1017/CBO9781139171892
999			_c516876 _d516874