A) Die mathematisch exakte Spezifikation und Verifikation von
Algorithmen wird durch das an Komplexität stetig zunehmende Gebiet
der Programmentwicklung ein immer bedeutender Bereich der
theoretischen Informatik. Unterschiedliche mathematische
Modellierungen des Begriffs Algorithmus führen dabei zu
unterschiedlichen Spezifikations- und Verifikationstechniken. In
dieser Vorlesung werden wichtige mathematische Modelle des Begriffs
Algorithmus vorgestellt und die jeweils darauf aufbauenden
Möglichkeiten zur Spezifikation und Verifikation aufgezeigt. Es wird
etwa Graphersetzung als Berechnungsmodell eingeführt und Einblicke
in den Bereich der algebraischen Spezifikation und Verifikation
gewährt.
B) Dörr, Heiko: Efficient graph rewriting and its
implementation, Springer, 1995. INF 355/021. Ehrig, Hartmut,
Mahr, Bernd: Fundamentals of algebraic specification, Springer.,
1985, INF 510/038. Baader, Nipkow: Term Rewriting and All That,
Cambridge UP, 1998
