Java and the Java Virtual Machine

"Java e la Java Virtual Machine" è un libro tecnico che si occupa della specifica e dell'analisi del linguaggio di programmazione Java e della Java Virtual Machine (JVM). Originato da un seminario sulla logica per l'ingegneria dei sistemi, il libro offre un'analisi approfondita e rigorosa dei concetti alla base dello sviluppo e del design di sistemi complessi. Gli autori, tra cui Joachim Schmid ed Egon Börger, discutono l'applicazione delle macchine a stati astratti (ASM) e il loro ruolo nello sviluppo software. Il libro si propone di illuminare il legame tra le basi teoriche e le applicazioni pratiche, offrendo preziose intuizioni sulle sfide e le soluzioni che emergono nella specifica di Java e della JVM. È rivolto a professionisti e studenti che desiderano acquisire una comprensione più profonda dei meccanismi e dei principi del linguaggio di programmazione Java e del suo ambiente di esecuzione.