Termin

Die Vorlesung und die �bung werden im Sommersemester 2023 wieder in Präsenz abgehalten. Sie finden jeden Donnerstag um 15:05 (p�nktlich) im H�rsaal EI 3A im alten Elektrotechnischen Institut in der Gu�hausstra�e 25 im 2. Stock statt. Die erste Vorlesung (mit Vorbesprechung) findet am 2. M�rz 2023 um 15:15 im H�rsaal EI 3A im alten Elektrotechnischen Institut in der Gu�hausstra�e 25 im 2. Stock, statt. Auf allgemeinen Wunsch kann der Termin der Vorlesung ge�ndert werden. Aufzeichnungen der Vorlesung aus dem letzten Jahr finden sich auf BigBLueButton. Das Skriptum ist online verf�gbar. Einige Teile sind nur von innerhalb der TU Wien oder mittels VPN erreichbar. Beim Pr�sentationstermin am 29. Juni 2023 werden Fragen zum Stoff beantwortet werden. Fragen zum Stoff k�nnen auch per email gestellt werden.

Pr�fung

Die Beurteilung erfolgt durch eine m�ndliche Pr�fung und die Beurteilung der �bungsaufgaben und der dazugeh�renden Pr�sentationen. Der Pr�sentationstermin ist am 29. Juni 2023. M�ndliche Pr�fung nach Vereinbarung. Eine Pr�fungsvorbereitung und Stoffwiederholung gibt es beim Pr�sentationstermin am 29. Juni 2023.

Inhaltsangabe

Aufbau von Interpretern, Zwischencodes, Prozesssorarchitekturen, Interpretationstechniken (threaded code), Implementierung von Forth, das Pascal P4 System, die Java Virtuelle Machine, Microsoft Intermediate Language, Registermaschinen und die DalvikVM, sytaxgesteuerte Editoren und Baummaschinen, Prologmaschinen (WAM, VAM), Implementierung funktionaler Sprachen (SECD Maschine)

Lernziel

Der Studierende soll das Wissen und die F�higkeit erwerben, abstrakte Maschinen und ihre Interpreter zu entwickeln.

Vorausgesetzte Kenntnisse

Die Kenntnisse aus der VU �bersetzerbau werden vorausgesetzt. Es ist ausreichend, wenn �bersetzerbau gleichzeitig besucht wird.

Erg�nzende Lehrveranstaltungen

Dynamic Compilation und Codegeneratoren (wird im Wintersemester abgehalten)

Unterlagen

Das Skriptum steht online zur Verf�gung.

• Mikroprozessoren
• Mikroarchitektur von Prozessoren
• Threaded Code
• Pascal P4 Machine
• Java Virtual Machine
• CACAO Virtual Machine
• Efficient JavaVM Just-in-Time Compilation
• Common Language Runtime
• Baummaschinen
• Dalvik Internals
• Stack vs Register Maschinen
• Prolog Maschinen
• Vienna Abstract Machine
• Lamda Kalk�l und SECD Maschine

Folgende Folien zur Vorlesung stehen zur Verf�gung:

• Mikroprozessoren
• Mikroarchitektur von Prozessoren
• Threaded Code
• Pascal P4 Machine
• CACAO Virtual Machine
• Baummaschinen
• Stack vs Register Maschinen
• Prolog Maschinen

Software

VAM2p Sourcen
KarelTheRobot.java and KarelTheRobot.java with line numbers

Übungsprojekte

Hier gibt es Informationen über einige alte Übungsprojekte:

• SSA Interpreter
• Übersetzerbau'14 Interpreter
• JVM Interpreter
• Einfache Sprache auf JVM
• Python Interpreter in Go
• Übersetzerbau'15 Truffle
• Chichol VM
• Blindschleiche
• Minimaler MIPS Prozessor
• C Interpreter in Python
• 8080 Interpreter in JavaScript
• NaCI
• Ringelnatter

Anrechnung

Für folgende Studien ist Abstrakte Maschinen eine Wahllehrveranstaltung:

• Bakk. Technische Informatik
• Bakk. Software & Information Engineering