Java and the Java Virtual Machine

"Java and the Java Virtual Machine" ist ein Fachbuch, das sich mit der Spezifikation und Analyse der Programmiersprache Java sowie der Java Virtual Machine (JVM) beschäftigt. Ursprünglich aus einem Seminar über Logik für Systemtechnik hervorgegangen, bietet das Buch eine fundierte und rigorose Betrachtung der Konzepte, die hinter der Entwicklung und dem Design komplexer Systeme stehen. Die Autoren, darunter Joachim Schmid und Egon Börger, diskutieren die Anwendung von abstrakten Zustandsmaschinen (ASMs) und deren Rolle in der Softwareentwicklung. Das Buch zielt darauf ab, die Verbindung zwischen theoretischen Grundlagen und praktischen Anwendungen zu beleuchten und bietet wertvolle Einblicke in die Herausforderungen und Lösungen, die bei der Spezifikation von Java und der JVM auftreten. Es richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die Mechanismen und Prinzipien der Programmiersprache Java und ihrer Laufzeitumgebung erlangen möchten.