The lecture demonstrates how to formally prove the correctness of compilers.
Die Vorlesung wird im Rahmen einer ERASMUS/LLP-Vereinbarung zwischen der TU Wien und der Martin-Luther-Universität Halle-Wittenberg, Deutschland, von Professor Dr. habil. Wolf Zimmermann als Blockveranstaltung in der Zeit vom 01.03.2011 bis zum 11.03.2011 gehalten. Die Vorbesprechung zur Lehrveranstaltung findet zum ersten Veranstaltungstermin am 01.03.2011 um 16:00 Uhr statt. Der Veranstaltungsort ist die Bibliothek des Arbeitsbereichs für Programmiersprachen und Übersetzer in der Argentinierstr. 8, 4. Stock (Mitte), 1040 Wien.
Not necessary
Vorkenntnisse aus dem Übersetzerbau etwa in dem in den LVAs 185.311 (und 185.274) vermittelten Umfang sind wünschenswert.