𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Java and the Java Virtual Machine: Definition, Verification, Validation

✍ Scribed by Robert F. Stärk, Joachim Schmid, Egon Börger

Book ID
127451644
Publisher
Springer
Year
2001
Tongue
English
Weight
2 MB
Edition
1
Category
Library
ISBN-13
9783540420880

No coin nor oath required. For personal study only.

✦ Synopsis

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 bytecode 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 a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.

📜 SIMILAR VOLUMES

Inside the Java virtual machine
Inside the Java virtual machine
✍ Bill Venners 📂 Library 📅 1997 🏛 McGraw-Hill Companies 🌐 English ⚖ 2 MB

or the advanced Java developer, Inside the Java 2 Virtual Machine offers a detailed guide to the inner workings of today's Java Virtual Machines (JVMs), plus a complete reference to all bytecodes (the "machine code" for the language). For those who want to understand how Java really works, this book

Programming for the Java™ Virtual Machin
Programming for the Java™ Virtual Machine
✍ Joshua Engel 📂 Library 📅 1999 🏛 Addison-Wesley Professional 🌐 English ⚖ 1 MB

The core of Java technology, the Java virtual machine is an abstract computing machine that enables the Java platform to host applications on any computer or operating system without rewriting or recompiling. Anyone interested in designing a language or writing a compiler for the Java virtual machin