Hennessy, Matthew (1990) The semantics of programming languages: an elementary introduction using structural operational semantics. John Wiley & Sons. ISBN 0471927724Full text not available from this repository.
This book is based on a course given to second-year computer science undergraduates at the University of Sussex in the spring of 1988 and 1989. It offers an elementary introduction to the semantics of programming languages in a form which is designed to be accessible to students who are not very advanced in their undergraduate career. All the material in the book may easily be covered in a one-term course. There are very few prerequisites. Students who have undertaken an introductory programming course and who are familiar with elementary mathematical notation should have little difficulty in following it. A first course in discrete mathematics would be more than sufficient to cover the required background material.
|Schools and Departments:||School of Engineering and Informatics > Informatics|
|Subjects:||Q Science > QA Mathematics > QA0075 Electronic computers. Computer science|
|Depositing User:||Chris Keene|
|Date Deposited:||29 Feb 2008|
|Last Modified:||30 Nov 2012 16:51|
|Google Scholar:||229 Citations|