Essentials of programming languages:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
2008
|
| Edition: | 3. ed. |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016586501&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Physical Description: | XXII, 410 S. |
| ISBN: | 9780262062794 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023403768 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 080718s2008 xx |||| 00||| eng d | ||
| 020 | |a 9780262062794 |9 978-0-262-06279-4 | ||
| 035 | |a (OCoLC)173502787 | ||
| 035 | |a (DE-599)BVBBV023403768 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-473 |a DE-20 |a DE-523 |a DE-92 |a DE-91G | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 100 | 1 | |a Friedman, Daniel P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Essentials of programming languages |c Daniel P. Friedman ; Mitchell Wand |
| 250 | |a 3. ed. | ||
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 2008 | |
| 300 | |a XXII, 410 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 1 | |a "This book provides students with a working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements. The book provides views of programming languages using varying levels of abstraction, maintaining a connection between the high-level and low-level views. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press Web site." "For this new edition, each chapter has been revised and new exercises have been added. Additions have been made to the text, including new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers."--BOOK JACKET. | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interpretierer |0 (DE-588)4162129-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Interpretierer |0 (DE-588)4162129-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wand, Mitchell |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016586501&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016586501 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0102 DAT 350f 2001 A 14815(3) |
|---|---|
| DE-BY-TUM_katkey | 1807855 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040071404970 |
| _version_ | 1821933647845916672 |
| adam_text | Contents
Foreword by Hal Abelson ix
Preface xv
Acknowledgments xxi
1 Inductive Sets of Data 1
1.1 Recursively Specified Data 1
1.2 Deriving Recursive Programs 12
1.3 Auxiliary Procedures and Context Arguments 22
1.4 Exercises 25
2 Data Abstraction 31
2.1 Specifying Data via Interfaces 31
2.2 Representation Strategies for Data Types 35
2.3 Interfaces for Recursive Data Types 42
2.4 A Tool for Defining Recursive Data Types 45
2.5 Abstract Syntax and Its Representation 51
3 Expressions 57
3.1 Specification and Implementation Strategy 57
3.2 LET: A Simple Language 60
3.3 PROC: A Language with Procedures 74
3.4 LETREC: A Language with Recursive Procedures 82
3.5 Scoping and Binding of Variables 87
3.6 Eliminating Variable Names 91
3.7 Implementing Lexical Addressing 93
4 State 103
4.1 Computational Effects 103
4.2 EXPLICIT-REFS: A Language with Explicit References 104
4.3 IMPLICIT-REFS: A Language with Implicit References 113
4.4 MUTABLE-PAIRS: A Language with Mutable Pairs 124
4.5 Parameter-Passing Variations 130
5 Continuation-Passing Interpreters 139
5.1 A Continuation-Passing Interpreter 141
5.2 A Trampolined Interpreter 155
5.3 An Imperative Interpreter 160
5.4 Exceptions 171
5.5 Threads 179
6 Continuation-Passing Style 193
6.1 Writing Programs in Continuation-Passing Style 193
6.2 Tail Form 203
6.3 Converting to Continuation-Passing Style 212
6.4 Modeling Computational Effects 226
7 Types 233
7.1 Values and Their Types 235
7.2 Assigning a Type to an Expression 238
7.3 CHECKED: A Type-Checked Language 240
7.4 INFERRED: A Language with Type Inference 248
8 Modules 275
8.1 The Simple Module System 276
8.2 Modules That Declare Types 292
8.3 Module Procedures 311
9 Objects and Classes 325
9.1 Object-Oriented Programming 326
9.2 Inheritance 329
9.3 The Language 334
9.4 The Interpreter 336
9.5 A Typed Language 352
9.6 The Type Checker 358
A For Further Reading 373
B The SLLGEN Parsing System 379
B.I Scanning 379
B.2 Parsing 382
B.3 Scanners and Parsers in SLLGEN 383
Bibliography 393
Index 401
|
| any_adam_object | 1 |
| author | Friedman, Daniel P. Wand, Mitchell |
| author_facet | Friedman, Daniel P. Wand, Mitchell |
| author_role | aut aut |
| author_sort | Friedman, Daniel P. |
| author_variant | d p f dp dpf m w mw |
| building | Verbundindex |
| bvnumber | BV023403768 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)173502787 (DE-599)BVBBV023403768 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 3. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02567nam a2200421 c 4500</leader><controlfield tag="001">BV023403768</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080718s2008 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262062794</subfield><subfield code="9">978-0-262-06279-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)173502787</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023403768</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Friedman, Daniel P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essentials of programming languages</subfield><subfield code="c">Daniel P. Friedman ; Mitchell Wand</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 410 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"This book provides students with a working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements. The book provides views of programming languages using varying levels of abstraction, maintaining a connection between the high-level and low-level views. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press Web site." "For this new edition, each chapter has been revised and new exercises have been added. Additions have been made to the text, including new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers."--BOOK JACKET.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interpretierer</subfield><subfield code="0">(DE-588)4162129-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Interpretierer</subfield><subfield code="0">(DE-588)4162129-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wand, Mitchell</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016586501&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016586501</subfield></datafield></record></collection> |
| id | DE-604.BV023403768 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T13:15:33Z |
| institution | BVB |
| isbn | 9780262062794 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016586501 |
| oclc_num | 173502787 |
| open_access_boolean | |
| owner | DE-29T DE-473 DE-BY-UBG DE-20 DE-523 DE-92 DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-473 DE-BY-UBG DE-20 DE-523 DE-92 DE-91G DE-BY-TUM |
| physical | XXII, 410 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | MIT Press |
| record_format | marc |
| spellingShingle | Friedman, Daniel P. Wand, Mitchell Essentials of programming languages Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd Interpretierer (DE-588)4162129-3 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4162129-3 |
| title | Essentials of programming languages |
| title_auth | Essentials of programming languages |
| title_exact_search | Essentials of programming languages |
| title_full | Essentials of programming languages Daniel P. Friedman ; Mitchell Wand |
| title_fullStr | Essentials of programming languages Daniel P. Friedman ; Mitchell Wand |
| title_full_unstemmed | Essentials of programming languages Daniel P. Friedman ; Mitchell Wand |
| title_short | Essentials of programming languages |
| title_sort | essentials of programming languages |
| topic | Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd Interpretierer (DE-588)4162129-3 gnd |
| topic_facet | Programming languages (Electronic computers) Programmiersprache Interpretierer |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016586501&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT friedmandanielp essentialsofprogramminglanguages AT wandmitchell essentialsofprogramminglanguages |
Table of Contents
Order paper/chapter scan
Order paper/chapter scan
Branch Library Mathematics & Informatics
| Call Number: |
0102 DAT 350f 2001 A 14815(3)
Floor plan |
|---|---|
| Copy 1 | Available for loan On Shelf |