Java and the Java virtual machine: definition, verification, validation ; with 18 tables, and CD-ROM
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | X, 381 S. Ill., graph. Darst. 1 CD-ROM (12 cm) |
| ISBN: | 3540420886 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV013746564 | ||
| 003 | DE-604 | ||
| 005 | 20220930 | ||
| 007 | t | ||
| 008 | 010522s2001 gw ad|| |||| 00||| eng d | ||
| 016 | 7 | |a 961489332 |2 DE-101 | |
| 020 | |a 3540420886 |9 3-540-42088-6 | ||
| 035 | |a (OCoLC)247949707 | ||
| 035 | |a (DE-599)BVBBV013746564 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-824 |a DE-19 |a DE-91G |a DE-29T |a DE-739 |a DE-83 |a DE-525 |a DE-188 | ||
| 082 | 0 | |a 005.13/3 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a ST 260 |0 (DE-625)143632: |2 rvk | ||
| 084 | |a ST 261 |0 (DE-625)143633: |2 rvk | ||
| 084 | |a DAT 362f |2 stub | ||
| 084 | |a 24,1 |2 ssgn | ||
| 100 | 1 | |a Stärk, Robert F. |d 1963- |e Verfasser |0 (DE-588)128525126 |4 aut | |
| 245 | 1 | 0 | |a Java and the Java virtual machine |b definition, verification, validation ; with 18 tables, and CD-ROM |c Robert F. Stärk ; Joachim Schmid ; Egon Börger |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a X, 381 S. |b Ill., graph. Darst. |e 1 CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Java <Programmiersprache> | |
| 650 | 4 | |a Java Virtual Machine | |
| 650 | 0 | 7 | |a CD-ROM |0 (DE-588)4139307-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Java Virtual Machine |0 (DE-588)4541748-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 0 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 0 | 2 | |a Java Virtual Machine |0 (DE-588)4541748-9 |D s |
| 689 | 0 | 3 | |a CD-ROM |0 (DE-588)4139307-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 1 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 3 | 1 | |a CD-ROM |0 (DE-588)4139307-7 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Java Virtual Machine |0 (DE-588)4541748-9 |D s |
| 689 | 4 | 1 | |a CD-ROM |0 (DE-588)4139307-7 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 5 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 5 | 2 | |a CD-ROM |0 (DE-588)4139307-7 |D s |
| 689 | 5 | |5 DE-604 | |
| 700 | 1 | |a Schmid, Joachim |e Verfasser |4 aut | |
| 700 | 1 | |a Börger, Egon |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009397340 | ||
Datensatz im Suchindex
| _version_ | 1804128567025467392 |
|---|---|
| adam_text | Contents
1.
1.1
1.2
1.3
1.4
2.
2.1
2.2
2.3
Part I. Java
3.
3.1
3.2
4.
4.1
4.2
5.
5.1
5.2
6.
6.1
6.2
7.
7.1
7.2
7.3
8.
8.1
8.2
8.3
8.4
Part II. Compilation of Java: The Trustful JVM
9.
9.1
9.2
10.
10.1
10.2
11.
11.1
11.2
12.
12.1
12.2
13.
14.
14.1
14.2
Part III.
15.
15.1
15.2
15.3
15.4
15.5
15.6
15.7
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
Appendix
A. Executable Models
A.I Overview
A.2 Java
A.3 Compiler
A.4 Java Virtual Machine
B. Java
B.I Rules
B.2 Arrays
C. JVM
C.I Trustful execution
C.2 Defensive execution
C.3 Diligent execution
C.4 Check functions
C.5 Successor functions
C.6 Constraints
C.7 Arrays
C.8 Abstract versus real instructions
D. Compiler
D.I Compilation functions
D.2 maxOpd
D.3 Arrays
References
■List of Figures
List of Tables
Index
This book provides a high-level description, together with a mathematical and an
experimental analysis, of Java and of the Java Virtual Machine (JVM), including a
standard compiler of Java programs to JVM code and the security critical
verifier component of the JVM.The description is structured into language layers
and machine components. It comes with a natural executable refinement (written in
AsmGofer and provided on CD-ROM) which can be used for testing code.The method
developed for this purpose is based on Abstract State Machines (ASMs) and can be
applied to other virtual machines and to other programming languages as well.
The book is written for advanced students and for professionals and practitioners
in research and development who need for their work a complete and transparent
definition and an executable model of the language and of the virtual machine
underlying its intended implementation.
The attached CD-ROM contains the entire text of the book and numerous examples
and exercises.
|
| any_adam_object | 1 |
| author | Stärk, Robert F. 1963- Schmid, Joachim Börger, Egon |
| author_GND | (DE-588)128525126 |
| author_facet | Stärk, Robert F. 1963- Schmid, Joachim Börger, Egon |
| author_role | aut aut aut |
| author_sort | Stärk, Robert F. 1963- |
| author_variant | r f s rf rfs j s js e b eb |
| building | Verbundindex |
| bvnumber | BV013746564 |
| classification_rvk | ST 250 ST 260 ST 261 |
| classification_tum | DAT 362f |
| ctrlnum | (OCoLC)247949707 (DE-599)BVBBV013746564 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| 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>03009nam a22007098c 4500</leader><controlfield tag="001">BV013746564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220930 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010522s2001 gw ad|| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961489332</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540420886</subfield><subfield code="9">3-540-42088-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247949707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013746564</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 260</subfield><subfield code="0">(DE-625)143632:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 261</subfield><subfield code="0">(DE-625)143633:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 362f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">24,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stärk, Robert F.</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128525126</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Java and the Java virtual machine</subfield><subfield code="b">definition, verification, validation ; with 18 tables, and CD-ROM</subfield><subfield code="c">Robert F. Stärk ; Joachim Schmid ; Egon Börger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 381 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="e">1 CD-ROM (12 cm)</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=" " ind2="4"><subfield code="a">Java <Programmiersprache></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Java Virtual Machine</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java Virtual Machine</subfield><subfield code="0">(DE-588)4541748-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Java Virtual Machine</subfield><subfield code="0">(DE-588)4541748-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Java Virtual Machine</subfield><subfield code="0">(DE-588)4541748-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="2"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schmid, Joachim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=009397340&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=009397340&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009397340</subfield></datafield></record></collection> |
| id | DE-604.BV013746564 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:51:17Z |
| institution | BVB |
| isbn | 3540420886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009397340 |
| oclc_num | 247949707 |
| open_access_boolean | |
| owner | DE-824 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29T DE-739 DE-83 DE-525 DE-188 |
| owner_facet | DE-824 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29T DE-739 DE-83 DE-525 DE-188 |
| physical | X, 381 S. Ill., graph. Darst. 1 CD-ROM (12 cm) |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| spelling | Stärk, Robert F. 1963- Verfasser (DE-588)128525126 aut Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM Robert F. Stärk ; Joachim Schmid ; Egon Börger Berlin [u.a.] Springer 2001 X, 381 S. Ill., graph. Darst. 1 CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Java <Programmiersprache> Java Virtual Machine CD-ROM (DE-588)4139307-7 gnd rswk-swf Java Virtual Machine (DE-588)4541748-9 gnd rswk-swf Compiler (DE-588)4148248-7 gnd rswk-swf Java Programmiersprache (DE-588)4401313-9 gnd rswk-swf Java Programmiersprache (DE-588)4401313-9 s Compiler (DE-588)4148248-7 s Java Virtual Machine (DE-588)4541748-9 s CD-ROM (DE-588)4139307-7 s DE-604 Schmid, Joachim Verfasser aut Börger, Egon Verfasser aut Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Stärk, Robert F. 1963- Schmid, Joachim Börger, Egon Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM Java <Programmiersprache> Java Virtual Machine CD-ROM (DE-588)4139307-7 gnd Java Virtual Machine (DE-588)4541748-9 gnd Compiler (DE-588)4148248-7 gnd Java Programmiersprache (DE-588)4401313-9 gnd |
| subject_GND | (DE-588)4139307-7 (DE-588)4541748-9 (DE-588)4148248-7 (DE-588)4401313-9 |
| title | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM |
| title_auth | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM |
| title_exact_search | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM |
| title_full | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM Robert F. Stärk ; Joachim Schmid ; Egon Börger |
| title_fullStr | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM Robert F. Stärk ; Joachim Schmid ; Egon Börger |
| title_full_unstemmed | Java and the Java virtual machine definition, verification, validation ; with 18 tables, and CD-ROM Robert F. Stärk ; Joachim Schmid ; Egon Börger |
| title_short | Java and the Java virtual machine |
| title_sort | java and the java virtual machine definition verification validation with 18 tables and cd rom |
| title_sub | definition, verification, validation ; with 18 tables, and CD-ROM |
| topic | Java <Programmiersprache> Java Virtual Machine CD-ROM (DE-588)4139307-7 gnd Java Virtual Machine (DE-588)4541748-9 gnd Compiler (DE-588)4148248-7 gnd Java Programmiersprache (DE-588)4401313-9 gnd |
| topic_facet | Java <Programmiersprache> Java Virtual Machine CD-ROM Compiler Java Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009397340&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT starkrobertf javaandthejavavirtualmachinedefinitionverificationvalidationwith18tablesandcdrom AT schmidjoachim javaandthejavavirtualmachinedefinitionverificationvalidationwith18tablesandcdrom AT borgeregon javaandthejavavirtualmachinedefinitionverificationvalidationwith18tablesandcdrom |