File(s) not publicly available
The semantics of programming languages: an elementary introduction using structural operational semantics
bookposted on 2023-06-07, 14:06 authored by Matthew Hennessy
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.
PublisherJohn Wiley & Sons
Department affiliated with
- Informatics Publications
Full text available