Programmanalyse
Hauptseminar im SS 2002

Software Engineering Chair (Prof. Zeller)
Saarland University – Computer Science
Saarland Informatics Campus
Campus E9 1 (CISPA)
66123 Saarbrücken, Germany
E-mail: zeller @ cs.uni-saarland.de
Phone: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en français English home page
   In diesem Seminar betrachten wir aktuelle Verfahren der Programmanalyse.

Inhalt

Der Schwerpunkt des Seminars liegt auf Verfahren, die das Verstehen großer Programme erleichtern - die also für ein gegebenes Programm (oder einen gegebenen Lauf) Aussagen über Informationsfluß, Performanz, Abhängigkeiten oder Ursachen und Wirkungen geben.

Themen

Für weitere Literaturrecherche empfehlen wir den Citeseer

Termine

Das Seminar wird in der zweiten Semesterferienwoche als Blockveranstaltung mit zwei Vorträgen/Tag stattfinden. Die Vorträge werden jeweils um 10:00 Uhr st. und ca. 11:00 anfangen.

Datum Vortragender Titel
29.07.02P. Sänger Datenflussanalyse
29.07.02C. Anukul Abstrakte Interpretation
30.07.02B. StutzPoints-To-Analyse
30.07.02C. BiegShape-Analyse
31.07.02S. WinkelLaufzeitoptimierung
31.07.02B. JokiszAssembler-Reengineering
01.08.02D. SchadeStatisches Slicing
01.08.02P. BouillonOO-Slicing
02.08.02A. GrossDynamische Invarianten und Debugging
02.08.02S. KundeDelta Debugging

Betreuer des Seminars sind Prof. Andreas Zeller, Holger Cleve und Nicolas Fritz.

Imprint Privacy Policy

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/sempa/ · Updated: 2018-04-05 13:40