The semantics of programming languages : an elementary introduction using structural operational semantics
著者
書誌事項
The semantics of programming languages : an elementary introduction using structural operational semantics
Wiley, c1990
大学図書館所蔵 全16件
注記
Includes bibliographical references (p. [153]-155) and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より