The Semantics of Programming Languages
An Elementary Introduction Using Structural Operational Semantics
Matthew Hennessy(Author)
Wiley (Publisher)
Published on 22. August 1990
Book
Hardback
170 pages
978-0-471-92772-3 (ISBN)
Description
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.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Illustrations
index
Dimensions
Height: 67 mm
Width: 44 mm
Weight
370 gr
ISBN-13
978-0-471-92772-3 (9780471927723)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Preliminaries: concrete and abstract syntax; induction; structural induction; inductive relations and proof systems. Part 2 Arithmetic expressions: concrete operational semantics; evaluation semantics; computation semantics; denotational semantics. Part 3 A simple functional language: variables; local variables; Boolean values; function definitions. Part 4 More languages: using a calculator; a stream language; an imperative language. Part 5 Computation semantics: computation semantics for "Fpl"; the language WhileL; an abstract machine for "Fpl". Part 6 Parallelism: guarded commands; a parallel language.