Turbak, Franklyn Albin.

Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon. - Cambridge, Mass. : MIT Press, c2008. - xxiv, 1322 p. : ill. ; 24 cm.

Includes bibliographical references (p. [1199]-1226) and index.

1: Foundations -- Introduction -- Syntax -- Operational semantics -- Denotational semantics -- Fixed points -- 2: Dynamic semantics -- FL: a functional language -- Naming -- State -- Control -- Data -- 3: Static semantics -- Simple types -- Polymorphism and higher-order types -- Type reconstruction -- Abstract types -- Modules -- Effects describe program behavior -- 4: Pragmatics -- Compilation -- Garbage collection.

"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."--Jacket.

9780262201759 (hardcover : alk. paper) 0262201755 (hardcover : alk. paper)

2008013841


Programming languages (Electronic computers)
Programmiersprache--0 Gesamtdarstellung.

QA76.7 / .T845 2008

005.1