Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon.
Material type:
TextPublisher: Cambridge, Mass. : MIT Press, c2008Description: xxiv, 1322 p. : ill. ; 24 cmISBN: 9780262201759 (hardcover : alk. paper); 0262201755 (hardcover : alk. paper)Subject(s): Programming languages (Electronic computers) | Programmiersprache -- 0 GesamtdarstellungDDC classification: 005.1 LOC classification: QA76.7 | .T845 2008Online resources: Table of contents | Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Female Library | QA76.7 .T845 2008 (Browse shelf (Opens below)) | 1 | Available | STACKS | 51952000096757 | |
|
Books
|
Main Library | QA76.7 .T845 2008 (Browse shelf (Opens below)) | 1 | Available | STACKS | 51952000124764 |
Browsing Female Library shelves Close shelf browser
|
|
|
|
|
|
|
||
| QA76.7 .S38 2009 Programming language pragmatics / | QA76.7 .S43 2010 Concepts of programming languages / | QA76.7 .T83 2007 Programming languages : principles and paradigms / | QA76.7 .T845 2008 Design concepts in programming languages / | QA76.7 .W42 2011 Modern programming languages : a practical introduction / | QA76.73 .A12 K45 2002 ABAP objects : introduction to programming SAP applications / | QA76.73 .B3 A395 2002 Developing Web applications with Visual Basic .NET and ASP.NET / |
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.
1 2
There are no comments on this title.