Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...
Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...
Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Bedeutung für das Praktikum?<br />
Berührungspunkte zwischen Verifier und<br />
Praktikum:<br />
Lokale Variablen? Anzahl trivialerweise bekannt!<br />
<strong>Bytecode</strong>? Entspricht automatisch den Anforderungen des<br />
Verifiers wegen einfacher Struktur!<br />
Max<strong>im</strong>ale Stackgröße? Muß während der Codegenerierung<br />
verfolgt werden!<br />
<strong>Java</strong> <strong>Bytecode</strong>-<strong>Generierung</strong> <strong>im</strong> <strong>Rahmen</strong> <strong>eines</strong> <strong>Softwarepraktikums</strong> in HASKELL — 15