Java and the Java Virtual Machine

"Java et la machine virtuelle Java" est un ouvrage spécialisé qui traite de la spécification et de l'analyse du langage de programmation Java ainsi que de la machine virtuelle Java (JVM). Issu à l'origine d'un séminaire sur la logique pour l'ingénierie des systèmes, ce livre offre une étude approfondie et rigoureuse des concepts qui sous-tendent le développement et la conception de systèmes complexes. Les auteurs, parmi lesquels Joachim Schmid et Egon Börger, discutent de l'application des machines d'état abstraites (ASMs) et de leur rôle dans le développement logiciel. L'ouvrage vise à éclairer le lien entre les bases théoriques et les applications pratiques, tout en offrant des perspectives précieuses sur les défis et les solutions rencontrés lors de la spécification de Java et de la JVM. Il s'adresse aux professionnels et aux étudiants souhaitant acquérir une compréhension plus approfondie des mécanismes et des principes du langage de programmation Java et de son environnement d'exécution.