Die automatische Analyse von Programmen ist eine wichtige Technik im Übersetzerbau und der Softwaretechnik. Mögliche Anwendungen sind
Ziel des Seminars ist es, sowohl grundlegende Verfahren als auch neuere Arbeiten auf dem Gebiet kennenzulernen. Die Seminarthemen untersuchen Techniken und Werkzeuge für die Programmanalyse aus software- und übersetzerbautechnischer Sicht.
Vorkenntnisse aus dem Übersetzerbau oder der Softwaretechnik sind hilfreich, aber keine Voraussetzung für die erfolgreiche Teilname an dem Seminar.
Die Anmeldung erfolgt elektronisch über untenstehendes Formular. Die Eingabe einer funktionstüchtigen Adresse für e-mail ist wichtig! Die Adresse wird durch Zusendung einer automatisch generierten Nachricht überprüft. Die Anmeldung gilt erst dann als erfolgt, wenn der Empfang dieser e-mail bestätigt wurde.
Eine Anmeldung ist leider nicht mehr möglich, da die Anmeldeliste voll ist. Vielen Dank für Euer Interesse, vielleicht klappt's nächstes mal.
Die folgenden Teilnehmer haben sich bereits angemeldet. Nach erfolgreicher Anmeldung wird Dein Name automatisch in diese Liste aufgenommen.
Das Seminar bietet Plätze. = $MAX_SEATS) && (! $FIXED)) { if ($OPEN) { ?> Die Anmeldung bleibt dennoch auch über die . Anmeldung hinaus geöffnet, alle Alle weiteren vergebenen Plätze sind als "Warteliste" zu verstehen. Die endgültige Themenvergabe findet während der Vorbesprechung statt.
| " . ($FIXED ? $nr++ : $resultRow[id]) . ". | $resultRow[vorname] $resultRow[nachname] |
Das Seminar wird von der Gruppe Programmstrukturen am IPD veranstaltet. Ansprechpartner sind:
Bernhard Haumacher, Raum 326, Neubau Informatik Florin Isaila, Raum 324, Neubau Informatik Prof. Walter F. Tichy