Description |
xxiv, 1322 pages : illustrations ; 24 cm |
Contents |
I. Foundations -- 1. Introduction -- 2. Syntax -- 3. Operational Semantics -- 4. Denotational Semantics -- 5. Fixed Points -- II. Dynamic Semantics -- 6. FL: A Functional Language -- 7. Naming -- 8. State -- 9. Control -- 10. Data -- III. Static Semantics -- 11. Simple Types -- 12. Polymorphism and Higher-order Types -- 13. Type Reconstruction -- 14. Abstract Types -- 15. Modules -- 16. Effects Describe Program Behavior -- IV. Pragmatics -- 17. Compilation -- 18. Garbage Collection -- A. A Metalanguage -- B. Our Pedagogical Languages |
Summary |
"This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as its premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple." "The book is suitable as a text for an introductory graduate or advanced undergraduate programming languages course; it can also serve as a reference for researchers and practitioners."--BOOK JACKET |
Bibliography |
Includes bibliographical references (pages [1199]-1226) and index |
Subject |
Programming languages (Electronic computers)
|
Author |
Gifford, David K., 1954-
|
|
Sheldon, Mark A.
|
LC no. |
2008013841 |
ISBN |
9780262201759 (hardcover : alk. paper) |
|
0262201755 (hardcover : alk. paper) |
|