TU Wien:Programmanalyse VU (Zuleger)

Daten

Vortragende	Florian Sextl• Florian Zuleger
ECTS	3,0
Alias	Program Analysis (en)
Letzte Abhaltung	2024W
Sprache	English
Mattermost	programmanalyse • Register • Mattermost-Infos
Links	tiss:184703

Zuordnungen

Masterstudium Logic and Computation	Modul Programming Languages and Verification (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing	Modul Formale Methoden und Theoretische Informatik (Gebundenes Wahlfach)
Masterstudium Technische Informatik	Modul Computer-Aided Verification (Gebundenes Wahlfach)

Inhalt

Verbände, Datenflussanalysen, Abstrakte Interpretation, Galoisverbindungen, Kontrollflussanalysen, ...

Ablauf

Wöchentliche Termine. Vier mal gibt es statt der Vorlesung eine Übung (Aufgabenblatt, vor der Stunde kreuzen, an der Tafel rechnen). Am Ende des Semesters ist ein Vortrag über ein Paper zu halten; die Liste der möglichen Themen wird in den ersten paar Wochen bekanntgegeben.

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

Wer Prof. Zuleger bereits im 4. Block von Formale Methoden gehört hat, weiß auch schon, worauf er/sie sich einlässt.

Übungen

Klassische Tafelübung. Überwiegender Schwerpunkt liegt auf Theorie, Beweisen und dem Spezifizieren kleinerer Analysen. Wer sich etwas Praktischeres erhofft, wird enttäuscht werden.

Prüfung, Benotung

Für eine positive Note müssen ein Vortrag gehalten sowie mindestens die Hälfte der Übungsaufgaben gekreuzt werden.

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

Da es die Übungsblätter in sich haben: jedenfalls höher als die angegeben 3 ECTS.

Unterlagen

noch offen

• Materialien

Tipps

Diese LVA ist eher nur etwas für Leute, die gerne ein ganzes Semester lang formale Beweise führen und Beispiele an der Tafel rechnen wollen.

Highlights / Lob

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

Neues Material hinzufügen

O

• Opendoc document 0.odt (details)