Statische Programmanalysen berechnen zuverlässige Informationen über Verhalten eines Programmes zur Laufzeit. Die so gewonnenen Informationen werden zum Beispiel von Compilern verwendet, um eine effiziente Übersetzung des Programmes zu ermöglichen. Auch in der automatischen Validierung von Software und bei der Implementierung von Source-zu-Source-Compilern kommen Techniken der statischen Programmanalyse zum Einsatz.
Dieses Seminar gibt einen Überblick über die unterschiedlichen Ansätze zur statischen Analyse: Datenfluß-Analysen, Constraint-basierte Analysen und abstrakte Interpretation von Programmen. Neben den Analysen bilden die Anwendungsmöglichkeiten für die gewonnen Informationen in optimierenden Compilern einen zweiten Themenkomplex. Neben der formalen Beschreibung der komplexen Algorithmen der einzelnen Analysen kommen verschiedene Techniken zur effizienten Implemtierung der Algorithmen zur Sprache.
Bei Fragen zu den Themen oder zum Ablauf des Seminars wende dich bitte an Eric Knauel.
Es ist eine Anmeldung bis zum Ende der ersten Semesterwoche des Sommersemesters 2005 per E-Mail bei knauel@informatik.uni-tuebingen.de erforderlich. Die Anzahl der Teilnehmer ist auf zehn begrenzt. Eine erste Vorbesprechung findet in der zweiten Semesterwoche statt.
Sehr gute Programmierkenntnisse in mehr als einer Programmiersprache. Bereitschaft neue Programmiersprachen zu lernen. Einsicht in den Sinn und Nutzen formaler Beschreibungen.
Based on the WordPress design files. Last modified: Tue Mar 8 22:16:14 CET 2005