Wir konnten diesen Eintrag nicht finden. Es werden ungefähre Ergebnisse angezeigt. Prüfen Sie die Rechtschreibung oder schlagen Sie vor, diesen Begriff dem Wörterbuch hinzuzufügen.
Ziel dieser Arbeit war die Entwicklung eines Bytecode-Verifiers für das Java-Betriebssystem JX.
The aim of this thesis was to develop a Java Bytecode verifier for the JX Java operating system.
Javasoft hat im Security Bulletin 109 Probleme mit der Initialisierung des Java Bytecode-Verifiers beschrieben.
Javasoft has issued Security Bulletin 109 concerning problems with the Java Bytecode verifier initialization.
Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.
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.
Potenziell sensible oder unangemessene Inhalte
Beispiele werden nur verwendet, um Ihnen bei der Übersetzung des gesuchten Wortes oder der Redewendung in verschiedenen Kontexten zu helfen. Sie werden nicht durch uns ausgewählt oder überprüft und können unangemessene Ausdrücke oder Ideen enthalten. Bitte melden Sie Beispiele, die bearbeitet oder nicht angezeigt werden sollen. Potenziell sensible, unangemessene oder umgangssprachliche Übersetzungen sind in der Regel in Rot oder Orange gekennzeichnet.
Für diese Bedeutung wurden keine Ergebnisse gefunden.
Synonyme und ähnliche Wörter für „Bytecode-Verifiers“ auf Deutsch
