| 000 | 02380cam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | u5311 | ||
| 003 | SA-PMU | ||
| 005 | 20210418123329.0 | ||
| 008 | 080325s2008 maua b 001 0 eng | ||
| 010 | _a 2008013841 | ||
| 040 |
_aDLC _beng _cDLC _dBTCTA _dBAKER _dYDXCP _dUKM _dC#P _dBWX _dCDX _dIXA _dYBM _dLMR _dCPE _dMUQ _dCHVBK _dHEBIS _dBTN _dDEBBG _dOCL _dOCLCQ _dDEBSZ _dOCLCQ _dMIX _dTUU |
||
| 020 | _a9780262201759 (hardcover : alk. paper) | ||
| 020 | _a0262201755 (hardcover : alk. paper) | ||
| 035 | _a(OCoLC)214322997 | ||
| 050 | 0 | 0 |
_aQA76.7 _b.T845 2008 |
| 082 | 0 | 0 |
_a005.1 _222 |
| 100 | 1 | _aTurbak, Franklyn Albin. | |
| 245 | 1 | 0 |
_aDesign concepts in programming languages / _cFranklyn Turbak and David Gifford ; with Mark A. Sheldon. |
| 260 |
_aCambridge, Mass. : _bMIT Press, _cc2008. |
||
| 300 |
_axxiv, 1322 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. [1199]-1226) and index. | ||
| 505 | 0 | _a1: 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. | |
| 520 | 1 | _a"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. | |
| 650 | 0 | _aProgramming languages (Electronic computers) | |
| 650 | 7 |
_aProgrammiersprache _v0 Gesamtdarstellung. _2idsbb |
|
| 700 | 1 |
_aGifford, David K., _d1954- |
|
| 700 | 1 | _aSheldon, Mark A. | |
| 856 | 4 | 1 |
_3Table of contents _uhttp://catdir.loc.gov/catdir/toc/ecip0814/2008013841.html |
| 942 | _cBOOK | ||
| 994 |
_aZ0 _bSUPMU |
||
| 596 | _a1 2 | ||
| 999 |
_c2590 _d2590 |
||