| 000 -LEADER |
|---|
| fixed length control field |
02380cam a2200349 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
u5311 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
SA-PMU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210418123329.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
080325s2008 maua b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2008013841 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Transcribing agency |
DLC |
| Modifying agency |
BTCTA |
| -- |
BAKER |
| -- |
YDXCP |
| -- |
UKM |
| -- |
C#P |
| -- |
BWX |
| -- |
CDX |
| -- |
IXA |
| -- |
YBM |
| -- |
LMR |
| -- |
CPE |
| -- |
MUQ |
| -- |
CHVBK |
| -- |
HEBIS |
| -- |
BTN |
| -- |
DEBBG |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
DEBSZ |
| -- |
OCLCQ |
| -- |
MIX |
| -- |
TUU |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262201759 (hardcover : alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0262201755 (hardcover : alk. paper) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)214322997 |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.7 |
| Item number |
.T845 2008 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
22 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Turbak, Franklyn Albin. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Design concepts in programming languages / |
| Statement of responsibility, etc. |
Franklyn Turbak and David Gifford ; with Mark A. Sheldon. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge, Mass. : |
| Name of publisher, distributor, etc. |
MIT Press, |
| Date of publication, distribution, etc. |
c2008. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxiv, 1322 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (p. [1199]-1226) and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 1# - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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. |
| 596 ## - |
|---|
| -- |
1 2 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming languages (Electronic computers) |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programmiersprache |
| Form subdivision |
0 Gesamtdarstellung. |
| Source of heading or term |
idsbb |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gifford, David K., |
| Dates associated with a name |
1954- |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sheldon, Mark A. |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents |
| Uniform Resource Identifier |
<a href="http://catdir.loc.gov/catdir/toc/ecip0814/2008013841.html">http://catdir.loc.gov/catdir/toc/ecip0814/2008013841.html</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Books |
| 994 ## - |
|---|
| -- |
Z0 |
| -- |
SUPMU |