Vorlesung: 2.01.481 Software Analysis - Details

Vorlesung: 2.01.481 Software Analysis - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.481 Software Analysis
Untertitel inf481
Veranstaltungsnummer 2.01.481
Semester SoSe2023
Aktuelle Anzahl der Teilnehmenden 30
erwartete Teilnehmendenanzahl 20
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Dienstag, 11.04.2023 10:15 - 11:45, Ort: A04 4-411
Art/Form
Lehrsprache deutsch

Räume und Zeiten

A04 4-411
Dienstag: 10:15 - 11:45, wöchentlich (12x)
Donnerstag: 10:15 - 11:45, wöchentlich (10x)
(A04 2-220)
Dienstag: 10:15 - 11:45, wöchentlich (2x)
Donnerstag: 10:15 - 11:45, wöchentlich (3x)

Modulzuordnungen

Kommentar/Beschreibung

Software analyses extract facts about programs from source code. Such facts can be employed by compilers to optimize programs during compilation, but can also be used to verify correctness of programs. In this course, we will study different software analysis techniques, in particular various data-flow analyses and abstract interpretation.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.