Java and the Java Virtual Machine

Java and the Java Virtual Machine

by Robert F. Stärk

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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 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.

Discuss Java and the Java Virtual Machine with other readers

Join or start a book club for Java and the Java Virtual Machine on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Java and the Java Virtual Machine?

Sign up free on Readfeed, then browse public clubs or start your own club with Java and the Java Virtual Machine as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Java and the Java Virtual Machine with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Java and the Java Virtual Machine with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.