Description :
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 presents a set of tools (a mathematical metalanguage, abstract syntax, operational and denotational semantics) and uses it to explore a comprehensive set of programming language design dimensions, including dynamic semantics (naming, state, control, data), static semantics (types, type reconstruction, polymorphism, effects), and pragmatics (compilation, garbage collection).
“This new textbook by Franklyn Turbak, David Gifford, and Mark Sheldon—comprehensive, thorough, pedagogically innovative, impeccably written and organized—greatly enriches the area of programming languages and will be an important reference for years to come.”
—ASSAF KFOURY, Department of Computer Science, Boston University
Content :
Preface. Acknowledgments. I FOUNDATIONS—Introduction. Syntax. Operational Semantics. Denotational Semantics. Fixed Points. II DYNAMIC SEMANTICS—FL: A Functional Language. Naming. State. Control. Data. III STATIC SEMANTICS—Simple Types. Polymorphism and Higher-order Types. Type Reconstruction. Abstract Types. Modules. Effects Describe Program Behavior. IV PRAGMATICS—Compilation. Garbage Collection. A: A Metalanguage. B: Our Pedagogical Languages. References. Index. Related Books : | |
| | MICROSOFT SHAREPOINT 2013 ADMINISTRATION INSIDE OUT By WILLIAMS, RANDY, CALLAHAN, CA , GIVENS, CHRIS, GROSS, JOHN MILAN, ALDERMAN, BRIAN, BARRERA, JAVIER |
| |
|
| | |
| | |
Books by the same Author :
|