MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02766nam a22002537a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
sulbI001882 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
BD-SySUS |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20160629110504.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
160629s2013 enk b 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781107029576 (hardback) |
|
|---|
| International Standard Book Number |
1107029570 (hardback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Transcribing agency |
DLC |
| Modifying agency |
DLC |
| -- |
BD-SySUS |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13 |
| Edition number |
22 |
| Item number |
HAP |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Harper, Robert, |
| Dates associated with a name |
1957- |
| 9 (RLIN) |
28152 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Practical foundations for programming languages / |
| Statement of responsibility, etc. |
Robert Harper. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Cambridge ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
c2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xviii, 471 p. ; |
| Dimensions |
26 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (p. [457]-463) and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"-- |
|
|---|
| Summary, etc. |
"Syntactic Objects Programming languages are languages, a means of expressing computations in a form comprehensible to both people and machines. The syntax of a language specifies the means by which various sorts of phrases (expressions, commands, declarations, and so forth) may be combined to form programs. But what sort of thing are these phrases? What is a program made of? The informal concept of syntax may be seen to involve several distinct concepts. The surface, or concrete, syntax is concerned with how phrases are entered and displayed on a computer. The surface syntax is usually thought of as given by strings of characters from some alphabet (say, ASCII or Unicode). The structural, or abstract, syntax is concerned with the struc- 4 1.1 Abstract Syntax Trees ture of phrases, specifically how they are composed from other phrases. At this level a phrase is a tree, called an abstract syntax tree, whose nodes are operators that combine several phrases to form another phrase. The binding structure of syntax is concerned with the introduction and use of identifiers: how they are declared, and how declared identifiers are to be used. At this level phrases are abstract binding trees, which enrich abstract syntax trees with the concepts of binding and scope. We will not concern ourselves in this book with matters of concrete syntax, but will instead work at the level of abstract syntax. To prepare the ground for the rest of the book, we begin in this chapter by definin-ing abstract syntax trees and abstract binding trees and some functions and relations associated with them. The definitions are a bit technical, but are absolutely fundamental to what follows. It is probably best to skim this chapter on first reading, returning to it only as the need arises"-- |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| 9 (RLIN) |
15990 |
|
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Programming Languages / General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
28078 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
