Java and the Java Virtual Machine
Definition, Verification, Validation
Robert Stärk, Joachim Schmid, Egon Börger
382 pages, parution le 01/07/2001
Résumé
This book prvides 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 bytecode verifier component of the JVM. The
description is structured into language layers and machine
components. It comes with natural executables refinement
(written in AsmGofer and provided on CD-ROM) which can used
for testing code. The method developed for thid 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.
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.
Contents
- Introduction
- Abstract State Machines
- Java
- Compilation of Java : The Trustful JVM
- Bytecode Verification : The secure JVM
- Appendix
- References
- List of figures
- List of tables
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Robert Stärk, Joachim Schmid, Egon Börger |
| Parution | 01/07/2001 |
| Nb. de pages | 382 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 720g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540420880 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
