Foundations of object-oriented languages: types and semantics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
2002
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 384 S. |
| ISBN: | 026202523X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014228426 | ||
| 003 | DE-604 | ||
| 005 | 20021009 | ||
| 007 | t | ||
| 008 | 020328s2002 |||| 00||| eng d | ||
| 020 | |a 026202523X |9 0-262-02523-X | ||
| 035 | |a (OCoLC)248906365 | ||
| 035 | |a (DE-599)BVBBV014228426 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-19 |a DE-824 |a DE-473 |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.64 | |
| 082 | 0 | |a 005.1/17 | |
| 082 | 0 | |a 005.117 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
| 100 | 1 | |a Bruce, Kim B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Foundations of object-oriented languages |b types and semantics |c Kim B. Bruce |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 2002 | |
| 300 | |a XX, 384 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009754014 | ||
Record in the Search Index
| _version_ | 1804129112445419520 |
|---|---|
| adam_text | Contents
List of Figures
Preface xv
I Type Problems in
Object-Oriented Languages
1
1.1
1.2
1.3
1.4
2
2.1
2.2
2.3
2.4
2.5
2.6
3
3.1
3.2
3.3
4
4.1
4.2
4.3
5
5.1
5.2
5.3
5.4
6
6.1
6.2
6.3
6.4
7
7.1
7.2
7.3
Historical Notes and References for Section I
II Foundations:
The Lambda Calculus
8
8.1
8.2
8.3
9
9.1
9.2
9.3
9.4
9.5
Historical Notes and References for Section II
Ill Formal Descriptions of
Object-Oriented Languages
10
10.1
10.2
10.3
11
11.1
11.2
11.3
11.4
11.5
11.6
12
12.1
12.2
12.3
13
13.1
13.2
13.3 SÖÖC
13.4
13.5
14
Inheritance
14.1
14.2
14.3
14.4
14.5
14.6
Historical Notes and References for Section
IV Extending Simple
Object-Oriented Languages
15
15.1
15.2
15.3
16
16.1
16.2
16.3
16.4
16.5
17
17.1
17.2
17.3
17.4
17.5
17.6
18
18.1
18.2
18.3
18.4
18.5
Historical Notes and References for Section IV
Bibliography
Index
|
| any_adam_object | 1 |
| author | Bruce, Kim B. |
| author_facet | Bruce, Kim B. |
| author_role | aut |
| author_sort | Bruce, Kim B. |
| author_variant | k b b kb kbb |
| building | Verbundindex |
| bvnumber | BV014228426 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.64 |
| callnumber-search | QA76.64 |
| callnumber-sort | QA 276.64 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 231 |
| ctrlnum | (OCoLC)248906365 (DE-599)BVBBV014228426 |
| dewey-full | 005.1/17 005.117 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/17 005.117 |
| dewey-search | 005.1/17 005.117 |
| dewey-sort | 15.1 217 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01427nam a2200373 c 4500</leader><controlfield tag="001">BV014228426</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021009 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020328s2002 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026202523X</subfield><subfield code="9">0-262-02523-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248906365</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014228426</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-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.64</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/17</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.117</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bruce, Kim B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of object-oriented languages</subfield><subfield code="b">types and semantics</subfield><subfield code="c">Kim B. Bruce</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">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 384 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="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</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="m">Digitalisierung UBPassau</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=009754014&sequence=000001&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-009754014</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV014228426 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:59:57Z |
| institution | BVB |
| isbn | 026202523X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009754014 |
| oclc_num | 248906365 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-634 DE-83 DE-11 |
| owner_facet | DE-739 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-634 DE-83 DE-11 |
| physical | XX, 384 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Bruce, Kim B. Verfasser aut Foundations of object-oriented languages types and semantics Kim B. Bruce Cambridge, Mass. [u.a.] MIT Press 2002 XX, 384 S. txt rdacontent n rdamedia nc rdacarrier Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Objektorientierte Programmiersprache (DE-588)4172311-9 s DE-604 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bruce, Kim B. Foundations of object-oriented languages types and semantics Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
| subject_GND | (DE-588)4172311-9 (DE-588)4151278-9 |
| title | Foundations of object-oriented languages types and semantics |
| title_auth | Foundations of object-oriented languages types and semantics |
| title_exact_search | Foundations of object-oriented languages types and semantics |
| title_full | Foundations of object-oriented languages types and semantics Kim B. Bruce |
| title_fullStr | Foundations of object-oriented languages types and semantics Kim B. Bruce |
| title_full_unstemmed | Foundations of object-oriented languages types and semantics Kim B. Bruce |
| title_short | Foundations of object-oriented languages |
| title_sort | foundations of object oriented languages types and semantics |
| title_sub | types and semantics |
| topic | Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
| topic_facet | Objektorientierte Programmiersprache Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT brucekimb foundationsofobjectorientedlanguagestypesandsemantics |