Generische invarianten-basierte Visualisierung für die Algorithmenerklärung

• Applicant: Professor Dr. Reinhard Wilhelm
• Subject Area: Theoretical Computer Science
• Term: from 2006 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 22340707

Algorithmiker verstehen und erklären Algorithmen und Datenstruktuuren meist nicht durch das, was sich ändert, sondern durch das, was gleich bleibt, also durch Invarianten. Algorithmenanimation hingegen versucht traditionellerweise, Programme, also implementierte Algorithmen, durch Animation der erzielten Änderungen verständlich zu machen. Im beantragten Projekt wird versucht, die Invarianten-basierte Erklärungsmethode der Algorithmiker auf Algorithmenanimation zu übertragen. Die Invarianten werden in einer Vorverarbeitung der Implementierung des Algorithmus durch eine statische Programmanalyse automatisch bestimmt. In dem Projekt wird ein systematischer Ansatz zur Visualisierung der Invarianten gesucht. Dieser soll die Struktur der Invarianten, genauer die Zerlegung in ihre Bestandteile, ausnutzen.

• DFG Programme: Research Grants
• Participating Person: Professor Dr. Raimund Seidel