The Java Virtual Machine Specification Introduction. Java is a technology originally developed by Sun Microsystems, and acquired by Oracle.
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems (2010 von Oracle aufgekauft).
Other results
This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.
Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.
MSVM is based on an old implementation of the Java platform specification 1.1 whereas the Sun Java Virtual Machine (JVM software) is based on the latest Java platform specification.
These optimizations are integrated into Sun Microsystems' Java HotSpot virtual machine.
Diese Optimierungen sind in die Java HotSpot VM von Sun Microsystems integriert.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.