185.323 Verification of Compilers
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2011S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

  • Knowledge of methods for the verification of compilers.
  • Self-dependent verification of simple compiler.

Subject of course

The lecture demonstrates how to formally prove the correctness of compilers.

Additional information

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.

Lecturers

  • Zimmermann, Wolf

Institute

Course dates

DayTimeDateLocationDescription
Thu09:00 - 12:0003.03.2011Seminarraum Argentinierstrasse 185.323 Verifikation von Übersetzern
Tue09:00 - 12:0008.03.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.323: Verifikation von Übersetzern
Thu09:00 - 12:0010.03.2011FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) 185.323 Verifikation von Übersetzern
Course is held blocked

Course registration

Not necessary

Curricula

Literature

Wird in der Vorlesung bekannt gegeben.

Previous knowledge

Vorkenntnisse aus dem Übersetzerbau etwa in dem in den LVAs 185.311 (und 185.274) vermittelten Umfang sind wünschenswert.

Preceding courses

Accompanying courses

Miscellaneous

Language

German