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.

Promotional Information

This textbook is an introduction to denotational semantics and its applications to programming languages.

Reviews

"...a well-written and readable textbook..." Mathematical Reviews