Die Bestimmung von Datenabhängigkeiten spielt eine entscheidene Rolle in vielen Bereichen der Softwareentwicklung, wie z.B. in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf Reihungsoperanden und Schleifen basieren, sind ausgereifte Techniken bekannt. Dagegen ist das Gebiet der Bestimmung von Datenabhängigkeiten in Programmen mit Zeigern wenig erforscht, obwohl eine Vielzahl heutiger Programmiersprachen die Benutzung des Zeigerkonzepts unterstützt.
In dem Vortrag wird ein Einschrittverfahren zur statischen Bestimmung von Datenabhängigkeiten in Programmen mit Zeigern vorgestellt, mit dem eine sehr genaue Berechnung der in einem Programm enthaltenen Datenabhängigkeiten durchgeführt werden kann und das zudem im Vergleich zu anderen Verfahren ein vielversprechendes Zeitverhalten zeigt. Das entwickelte Verfahren basiert auf der Konstruktion eines monotonen Datenflußsystems und ist deshalb in jeden herkömmlichen Übersetzer integrierbar.
Referent: Dr. Wolfram Amme
Friedrich-Schiller-Universität Jena
Institut für Informatik
Lehrstuhl für Softwaretechnik
D-07740 Jena
Zeitpunkt: Freitag, 20. November 1998, 14 Uhr c. t.
Ort: HS 3 der Universität Klagenfurt