【MIT Press 2008 新书】Design Concepts in Programming Languages

benemale

Design Concepts in Programming Languages
by Franklyn A. Turbak, David K. Gifford

                               
登录/注册后可看大图

[size=120%]Design Concepts in Programming Languages
By Franklyn A. Turbak, David K. Gifford

• Publisher:   The MIT Press
• Number Of Pages:   1200
• Publication Date:   2008-08-31
• ISBN-10 / ASIN:   0262201755
• ISBN-13 / EAN:   9780262201759
• Binding:   Hardcover

Product Description:
Hundreds of programming languages are in use today—scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many others. Designing a programming language is a metaprogramming activity that bears certain similarities to programming in a regular language, with clarity and simplicity even more important than in ordinary programming. 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, polymporphism, effects), and pragmatics (compilation, garbage collection). The many examples and exercises offer students opportunities to apply the foundational ideas explained in the text. Specialized topics and code that implements many of the algorithms and compilation methods in the book can be found on the book's Web site, along with such additional material as a section on concurrency and proofs of the theorems in the text. 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.



Summary: A recommendend read
Rating: 5
MIT Press's massive new tome is excellently researched, thorough and a must-have for your deskside bookcase. Just make sure the shelf is sturdy enough for its 1,322 pages: This is not a book to carry in your hand luggage for your next airplane trip....

You can read my full review at blog.zeichick.org

feitengyu

多谢楼主提供的好资料

jrzhang

下来看看

austin_lin

Thank you!

cuttlefish

很不错！

februni

good job, thx

johnyjack

good job

tedious

hao a aha

0xffff

好东西
谢谢

kevinwjs

dddddddddddddddddddddddddd