Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...

Weitere Magazine

Empfehlungen

Info

Java Frame Neue Stack-Frames werden beim Methodenaufruf angelegt (hier: nur main wegen flacher Struktur von PSA). Ein Frame enthält: Lokale Variablen (Anzahl muß zur Compilezeit bekannt sein!) Operanden-Stack (dt.) Dynamische Verweise auf den constant pool Java Bytecode-Generierung im Rahmen eines Softwarepraktikums in HASKELL — 11
Java Bytecode Verifier Anzahl lokaler Variablen muß deklariert werden (max. 256 bzw. 65534) Maximale Stackgröße muß deklariert werden Theorembeweiser prüft Stackcode: für jede Instruktion: speichere Stack-Zustand und lokale Variablen (Typen) überprüfe Typ der aktuellen Instruktion und Parameter prüfe Auswirkung der Instruktion auf Stack & Variablen, prüfe nächste Instruktion mit neuem Zustand. Java Bytecode-Generierung im Rahmen eines Softwarepraktikums in HASKELL — 12
Seite 1 und 2: Java Bytecode-Generierung im Rahmen
Seite 3 und 4: Softwarepraktikum in HASKELL Im Sof
Seite 5 und 6: Die Praktikumsaufgabe Sieben Teilau
Seite 7 und 8: Bestandteile der A-Maschine Zustand
Seite 9 und 10: Codegenerator für Java Bytecode Be
Seite 11: Die wichtigsten JVM-Befehle sipush
Seite 15 und 16: Bytecode-Verifikation von Verzweigu
Seite 17 und 18: Beispiel Bytecode-Prüfung sipush 4
Seite 19 und 20: Beispiel Bytecode-Prüfung sipush 4
Seite 21 und 22: Beispiel Bytecode-Prüfung −→ s
Seite 23 und 24: Bedeutung für das Praktikum? Berü
Seite 29 und 30: Simulation des Stacks bei Codegener
Seite 31 und 32: Ausgabe mittels der JVM (1) Problem
Seite 33 und 34: Ausgabe mittels der JVM (2) Nachtei
Seite 35 und 36: Ausgabe mittels der JVM (2) Nachtei
Seite 37 und 38: Revisited: GGT in Java Bytecode (2)
Seite 39 und 40: Zusammenfassung Mit Haskell lassen
Seite 41: Der Java (Bytecode) Verifier Durchg

Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?