Synopses & Reviews
This textbook is an introduction to denotational semantics and its applications to programming languages.
Review
"...a well-written and readable textbook..." Mathematical Reviews
Synopsis
Numerous exercises in Pascal encourage the student to write and test definitions in this introduction to denotational semantics and its applications to programming languages.
Table of Contents
Preface; Acknowledgements; Glossary; 1. Introduction; 2. Basics; 3. Notation; 4. Lattices; 5. A simple language; 6. Direct semantics; 7. Control; 8. Data structures and data types; 9. A prolog semantics; 10. Miscellaneous; Appendix; References; Index of definitions; Subject index.