Preface
Published online by Cambridge University Press: 05 August 2012
Summary
About this book
This is a book about structural operational semantics; more precisely it is a book that describes how this approach to semantics can be used to describe common programming language constructs and to reason about the behaviour of programs.
The text grew out of the lecture notes that I have used over a period of more than 10 years in the course Syntax and semantics which is taught to all students following the various degree programmes in computer science at Aalborg University. What began as a 10-page set of notes in Danish is now a textbook in English.
The book also includes chapters on related material, namely short introductions to type systems, denotational semantics and the mathematics necessary to understand recursive definitions.
Related work
This work was inspired by lecture notes by Plotkin (1981) (also written in Denmark), where this approach to programming language semantics was first presented.
The topic of structural operational semantics also appears in later books, three of which I will mention here.
Reynolds' book (Reynolds, 1999) is an excellent text that covers some of the same topics as this book but uses denotational and axiomatic semantics as well as structural operational semantics.
The book by Winskel (1993) is another very good textbook that covers many of the same topics as Reynolds' book.
Finally, I should mention Nielson and Nielson (2007), which introduces and relates denotational, axiomatic and structural operational semantics and then gives an introduction to how these can be used in connection with static program analysis.
- Type
- Chapter
- Information
- Transitions and TreesAn Introduction to Structural Operational Semantics, pp. ix - xiiPublisher: Cambridge University PressPrint publication year: 2010