Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.

  

Programmanalyse
Hauptseminar im SS 2002

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +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.

Impressum Datenschutzerklärung

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