M. Anton Ertl (anton@mips.complang.tuwien.ac.at, Tel. 58801/18515)Diplomarbeit: Globale Stackallokation für JavaVM oder ForthForth hat weder statisches noch dynamische Typüberprüfung, der Programmierer ist dafür verantwortlich, keine Typfehler zu machen (wobei es gar nicht so einfach ist, festzumachen, was ein Typfehler ist). Trotzdem wäre ein statischer Prüfer hilfreich, der vor wahrscheinlichen Typfehlern warnt. Im Rahmen dieser Arbeit soll so ein Prüfer erstellt werden. Ein 74-min Video mit Gedanken dazu.
M. Anton Ertl (anton@mips.complang.tuwien.ac.at, Tel. 58801/18515)Diplomarbeit: Schnelle Maschinencodeerzeugung für stapelbasierte ZwischensprachenStackmaschinen haben einen Stack statt des Registersatzes konventioneller Prozessoren. Analog zur Registerbelegung bei Registermaschinen ergibt sich das Problem, Variablen auf den Stack abzubilden, um Hauptspeicherzugriffe zu minimieren. Im Rahmen dieser Diplomarbeit sind Methoden für die globale Stackallokation für die JavaVM oder Forth zu entwickeln.
M. Anton Ertl (anton@mips.complang.tuwien.ac.at, Tel. 58801/18515)3 gefundenBei der Codeerzeugung zur Laufzeit kommt es besonders auf kurze Übersetzungszeiten an. In dieser Arbeit soll am Beispiel eines Forth-Compilers untersucht werden, wie schnell stack-basierter Code in effizienten Maschinencode für eine Registerarchitektur (Intel oder RISC) übersetzt werden kann.