Concepts in programming languages:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge (UK) [u.a.]
Cambridge Univ. Press
2007
|
| Edition: | Reprint. |
| Subjects: | |
| Online Access: | Sample text Table of contents Publisher description Inhaltsverzeichnis |
| Item Description: | Nachdr. der 1. Aufl., 2003 |
| Physical Description: | X, 529 S. Ill., graph. Darst. |
| ISBN: | 9780521780988 0521780985 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024620460 | ||
| 003 | DE-604 | ||
| 005 | 20140612 | ||
| 007 | t | ||
| 008 | 090924s2007 ad|| |||| 00||| eng d | ||
| 020 | |a 9780521780988 |9 978-0-521-78098-8 | ||
| 020 | |a 0521780985 |9 0-521-78098-5 | ||
| 035 | |a (OCoLC)633200342 | ||
| 035 | |a (DE-599)GBV558502547 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-703 |a DE-860 | ||
| 050 | 0 | |a QA76.6.M5293 | |
| 082 | 0 | |a 005.13 21 | |
| 082 | 0 | |a 004.43 | |
| 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 Reprint. | ||
| 264 | 1 | |a Cambridge (UK) [u.a.] |b Cambridge Univ. Press |c 2007 | |
| 300 | |a X, 529 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Nachdr. der 1. Aufl., 2003 | ||
| 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 Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018592474&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018592474 | ||
Record in the Search Index
| _version_ | 1804140640826556416 |
|---|---|
| adam_text | Contents
Preface
page
ix
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
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
С
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 | BV024620460 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.M5293 |
| callnumber-search | QA76.6.M5293 |
| callnumber-sort | QA 276.6 M5293 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)633200342 (DE-599)GBV558502547 |
| dewey-full | 005.1321 004.43 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.13 21 004.43 |
| dewey-search | 005.13 21 004.43 |
| dewey-sort | 15.13 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | Reprint. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01789nam a2200445 c 4500</leader><controlfield tag="001">BV024620460</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140612 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2007 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521780988</subfield><subfield code="9">978-0-521-78098-8</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)633200342</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV558502547</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-83</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-860</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.M5293</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.43</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">Reprint.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge (UK) [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 529 S.</subfield><subfield code="b">Ill., 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">Nachdr. der 1. Aufl., 2003</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">Digitalisierung UB Bayreuth</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=018592474&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-018592474</subfield></datafield></record></collection> |
| id | DE-604.BV024620460 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:12Z |
| institution | BVB |
| isbn | 9780521780988 0521780985 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018592474 |
| oclc_num | 633200342 |
| open_access_boolean | |
| owner | DE-83 DE-703 DE-860 |
| owner_facet | DE-83 DE-703 DE-860 |
| physical | X, 529 S. Ill., graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Mitchell, John C. Verfasser aut Concepts in programming languages John C. Mitchell Reprint. Cambridge (UK) [u.a.] Cambridge Univ. Press 2007 X, 529 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Nachdr. der 1. Aufl., 2003 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 Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018592474&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=018592474&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mitchelljohnc conceptsinprogramminglanguages |