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

点击翻译按钮获取中文摘要

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.