TU Wien:Programmanalyse VU (Zuleger)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Florian SextlFlorian Zuleger
ECTS 3,0
Alias Program Analysis (en)
Letzte Abhaltung 2023W
Sprache English
Mattermost programmanalyseRegisterMattermost-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[Bearbeiten | Quelltext bearbeiten]

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

Ablauf[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

noch offen

Vortrag[Bearbeiten | Quelltext bearbeiten]

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

Übungen[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

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

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

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

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen