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

Java and the Java Virtual Machine: Definition, Verification, Validation
\r\n\r\n

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

\r\n\r\n

This book provides a high level description, with a mathematical analysis and experimental Java and Java Virtual Machine (JVM), including a compiler standard methodology for Java programs to JVM code and the safety-critical bytecode verifier of the JVM . The description language is structured in layers and components of the machine. It comes with a natural executable refinement (written in AsmGofer and is available on CD-ROM) that can be used to test the code. The methodology developed for this purpose is based on abstract state machines (ASMs) and can be applied to other virtual machines and other programming languages ​​as well. The book is written for advanced students and professionals and practitioners, research and development that need a complete and transparent definition and an executable model of language and virtual machine underlying the application considered.
CD-ROM containing the full text of books and numerous examples and exercises. Java and the Java Virtual Machine: Definition, Verification, Validation

\r\n\r\nJava and the Java Virtual Machine: Definition, Verification, Validation Ebook

Leave a comment