The semantics of programming languages: an elementary introduction using structural operational semantics

Hennessy, Matthew (1990) The semantics of programming languages: an elementary introduction using structural operational semantics. John Wiley & Sons. ISBN 0471927724

Full text not available from this repository.

Abstract

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.

Item Type: Book
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
URI: http://sro.sussex.ac.uk/id/eprint/1376
Google Scholar:229 Citations
📧 Request an update