Concepts in programming languages:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York, NY [u.a.]
Cambridge University Press
2003
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Sample text Table of contents Publisher description Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | X, 529 S. graph. Darst. |
| ISBN: | 0521780985 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV014640097 | ||
| 003 | DE-604 | ||
| 005 | 20140612 | ||
| 007 | t | ||
| 008 | 020806s2003 xxud||| |||| 00||| eng d | ||
| 010 | |a 2002031217 | ||
| 020 | |a 0521780985 |9 0-521-78098-5 | ||
| 035 | |a (OCoLC)248042155 | ||
| 035 | |a (DE-599)BVBBV014640097 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-824 |a DE-29T |a DE-739 |a DE-91G |a DE-M347 |a DE-706 |a DE-521 |a DE-522 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.6.M5293 2003 | |
| 080 | |a 004.43 | ||
| 082 | 0 | |a 005.13 21 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 100 | 1 | |a Mitchell, John C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Concepts in programming languages |c John C. Mitchell |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York, NY [u.a.] |b Cambridge University Press |c 2003 | |
| 300 | |a X, 529 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |q text/html |u http://www.loc.gov/catdir/samples/cam033/2002031217.html |3 Sample text |
| 856 | 4 | 2 | |q text/html |u http://www.loc.gov/catdir/toc/cam031/2002031217.html |3 Table of contents |
| 856 | 4 | 2 | |q text/html |u http://www.loc.gov/catdir/description/cam0210/2002031217.html |3 Publisher description |
| 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=009942652&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009942652 | ||
Record in the Search Index
| _version_ | 1804129405301161984 |
|---|---|
| adam_text | Contents
Preface page jx
Part 1 Functions and Foundations
1 Introduction 3
1.1 Programming Languages 3
1.2 Goals 5
1.3 Programming Language History 6
1.4 Organization: Concepts and Languages 8
2 Computability 10
2.1 Partial Functions and Computability 10
2.2 Chapter Summary 16
Exercises 16
3 Lisp: Functions, Recursion, and Lists 18
3.1 Lisp History 18
3.2 Good Language Design 20
3.3 Brief Language Overview 22
3.4 Innovations in the Design of Lisp 25
3.5 Chapter Summary: Contributions of Lisp 39
Exercises 40
4 Fundamentals 48
4.1 Compilers and Syntax 48
4.2 Lambda Calculus 57
4.3 Denotational Semantics 67
4.4 Functional and Imperative Languages 76
4.5 Chapter Summary 82
Exercises 83
v
vi Contents
Part 2 Procedures, Types, Memory Management, and Control
5 The Algol Family and ML 93
5.1 The Algol Family of Programming Languages 93
5.2 The Development of C 99
5.3 The LCF System and ML 101
5.4 The ML Programming Language 103
5.5 Chapter Summary 121
Exercises 122
6 Type Systems and Type Inference 129
6.1 Types in Programming 129
6.2 Type Safety and Type Checking 132
6.3 Type Inference 135
6.4 Polymorphism and Overloading 145
6.5 Type Declarations and Type Equality 151
6.6 Chapter Summary 155
Exercises 156
7 Scope, Functions, and Storage Management 162
7.1 Block Structured Languages 162
7.2 In Line Blocks 165
7.3 Functions and Procedures 170
7.4 Higher Order Functions 182
7.5 Chapter Summary 190
Exercises 191
8 Control in Sequential Languages 204
8.1 Structured Control 204
8.2 Exceptions 207
8.3 Continuations 218
8.4 Functions and Evaluation Order 223
8.5 Chapter Summary 227
Exercises 228
Part 3 Modularity, Abstraction, and Object Oriented Programming
9 Data Abstraction and Modularity 235
9.1 Structured Programming 235
9.2 Language Support for Abstraction 242
9.3 Modules 252
9.4 Generic Abstractions 259
9.5 Chapter Summary 269
Exercises 271
10 Concepts in Object Oriented Languages 277
10.1 Object Oriented Design 277
10.2 Four Basic Concepts in Object Oriented Languages 278
Contents vii
10.3 Program Structure 288
10.4 Design Patterns 290
10.5 Chapter Summary 292
10.6 Looking Forward: Simula, Smalltalk,
C++, Java 293
Exercises 294
11 History of Objects: Simula and Smalltalk 300
11.1 Origin of Objects in Simula 300
11.2 Objects in Simula 303
11.3 Subclasses and Subtypes in Simula 308
11.4 Development of Smalltalk 310
11.5 Smalltalk Language Features 312
11.6 Smalltalk Flexibility 318
11.7 Relationship between Subtyping and
Inheritance 322
11.8 Chapter Summary 326
Exercises 327
12 Objects and Run Time Efficiency: C++ 337
12.1 Design Goals and Constraints 337
12.2 Overview of C++ 340
12.3 Classes, Inheritance, and Virtual Functions 346
12.4 Subtyping 355
12.5 Multiple Inheritance 359
12.6 Chapter Summary 366
Exercises 367
13 Portability and Safety: Java 384
13.1 Java Language Overview 386
13.2 Java Classes and Inheritance 389
13.3 Java Types and Subtyping 396
13.4 Java System Architecture 404
13.5 Security Features 412
13.6 Java Summary 417
Exercises 420
Part 4 Concurrency and Logic Programming
14 Concurrent and Distributed Programming 431
14.1 Basic Concepts in Concurrency 433
14.2 The Actor Model 441
14.3 Concurrent ML 445
14.4 Java Concurrency 454
14.5 Chapter Summary 466
Exercises 469
viii Contents
15 The Logic Programming Paradigm and Prolog 475
15.1 History of Logic Programming 475
15.2 Brief Overview of the Logic Programming Paradigm 476
15.3 Equations Solved by Unification as Atomic Actions 478
15.4 Clauses as Parts of Procedure Declarations 482
15.5 Prolog s Approach to Programming 486
15.6 Arithmetic in Prolog 492
15.7 Control, Ambivalent Syntax, and Meta Variables 496
15.8 Assessment of Prolog 505
15.9 Bibliographic Remarks 507
15.10 Chapter Summary 507
Appendix A Additional Program Examples 509
A.I Procedural and Object Oriented Organization 509
Glossary 521
Index 525
|
| any_adam_object | 1 |
| author | Mitchell, John C. |
| author_facet | Mitchell, John C. |
| author_role | aut |
| author_sort | Mitchell, John C. |
| author_variant | j c m jc jcm |
| building | Verbundindex |
| bvnumber | BV014640097 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.M5293 2003 |
| callnumber-search | QA76.6.M5293 2003 |
| callnumber-sort | QA 276.6 M5293 42003 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)248042155 (DE-599)BVBBV014640097 |
| dewey-full | 005.1321 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 21 |
| dewey-search | 005.13 21 |
| dewey-sort | 15.13 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01861nam a2200457zc 4500</leader><controlfield tag="001">BV014640097</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140612 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020806s2003 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002031217</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521780985</subfield><subfield code="9">0-521-78098-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248042155</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014640097</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.M5293 2003</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">004.43</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13 21</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">Mitchell, John C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concepts in programming languages</subfield><subfield code="c">John C. Mitchell</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 529 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.loc.gov/catdir/samples/cam033/2002031217.html</subfield><subfield code="3">Sample text</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.loc.gov/catdir/toc/cam031/2002031217.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.loc.gov/catdir/description/cam0210/2002031217.html</subfield><subfield code="3">Publisher description</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=009942652&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009942652</subfield></datafield></record></collection> |
| id | DE-604.BV014640097 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:04:37Z |
| institution | BVB |
| isbn | 0521780985 |
| language | English |
| lccn | 2002031217 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009942652 |
| oclc_num | 248042155 |
| open_access_boolean | |
| owner | DE-824 DE-29T DE-739 DE-91G DE-BY-TUM DE-M347 DE-706 DE-521 DE-522 DE-11 DE-188 |
| owner_facet | DE-824 DE-29T DE-739 DE-91G DE-BY-TUM DE-M347 DE-706 DE-521 DE-522 DE-11 DE-188 |
| physical | X, 529 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Mitchell, John C. Verfasser aut Concepts in programming languages John C. Mitchell 1. publ. New York, NY [u.a.] Cambridge University Press 2003 X, 529 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s DE-604 text/html http://www.loc.gov/catdir/samples/cam033/2002031217.html Sample text text/html http://www.loc.gov/catdir/toc/cam031/2002031217.html Table of contents text/html http://www.loc.gov/catdir/description/cam0210/2002031217.html Publisher description HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009942652&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mitchell, John C. Concepts in programming languages Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 |
| title | Concepts in programming languages |
| title_auth | Concepts in programming languages |
| title_exact_search | Concepts in programming languages |
| title_full | Concepts in programming languages John C. Mitchell |
| title_fullStr | Concepts in programming languages John C. Mitchell |
| title_full_unstemmed | Concepts in programming languages John C. Mitchell |
| title_short | Concepts in programming languages |
| title_sort | concepts in programming languages |
| topic | Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programming languages (Electronic computers) Programmiersprache |
| url | http://www.loc.gov/catdir/samples/cam033/2002031217.html http://www.loc.gov/catdir/toc/cam031/2002031217.html http://www.loc.gov/catdir/description/cam0210/2002031217.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009942652&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mitchelljohnc conceptsinprogramminglanguages |