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...

This is a collection of Greek and Latin inscriptions and papyri in English translation. They are all primary sources for our knowledge of the history of Rome from the first emperor, Augustus, to Hadrian. The theme of the present collection is the political and military activity of the Roman emperors to the period of Hadrian, the men who carried out their policies, the institutions of their administrations, the wars they conducted, the reaction of their subjects, the imperial ruler cult, their letters and orders. a second part is concerned with the society of the ordinary citizen in his daily...