40 Jahre Informatik in München - Fakultät für Informatik - TUM

verwendeten Notationen, genauer die Programmiersprachen, waren, um
solche Transformationssequenzen zu beschreiben. Die Programmiersprachen
mußten mächtig genug sein, um funktionale Elemente aufzunehmen,
sie mußten aber auch erlauben, maschinennahe effiziente Programme zu
formulieren.
Diese Idee schlug sich in dem SFB-Teilprojekt nieder, das gegen Ende
der siebziger Jahre von den wissenschaftlichen Mitarbeitern Bernd Krieg-
Brückner, Wolfgang Hesse und Franz Geiselbrechtinger durchgeführt wurde.
Hier sollte eine sog. L-Sprachfamilie entwickelt werden, in der in fünf
Schichten Sprachebenen angeboten werden, die unterschiedliche Abstraktionsgrade
hatten. Allerdings stellte sich schnell heraus, daß die Trennung
der Sprachen in verschiedene Schichten von L0 bis L4 nicht ohne Probleme
war. In Folge dessen wurde die Idee der Breitbandsprache geboren,
die später auch CIP-L genannt wurde; eine Sprache, in der sehr abstrakte
funktionale, später sogar reine Spezifikationskonstrukte frei mischbar mit
maschinennahen Konstrukten waren. Diese im ersten Moment interessante
Idee warf sofort eine große Anzahl wissenschaftlicher Fragestellungen
auf, angefangen von solchen der Syntax und des Sprachentwurfs bis
hin zu komplexen semantischen Fragestellungen. Inzwischen hatten in
den achtziger Jahren Martin Wirsing und Manfred Broy, etwas später
dann Bernhard Möller und Alfred Laut jeweils nach Ende ihres Studiums
sich der CIP-Gruppe angeschlossen. Mit Feuereifer begann das Team an
einer Reihe von Grundlagenfragen im Zusammenhang mit Programmtransformationen
und der Idee der Breitbandsprache zu arbeiten.
F. L. Bauer begann 1979 mit Hans Wössner, unterstützt von Peter Pepper
und Helmuth Partsch mit der Konzeption einer neuartigen Vorlesung
,,Algorithmische Sprache und Programmentwicklung“, in der zum
ersten Mal die formalen Grundlagen für Programmiersprachen und Programmierkonzepte
umfassend dargestellt werden sollten und gleichzeitig
methodische Ansätze, wie insbesondere Programmtransformationen. Die
Vorlesung sollte über mehr als zehn Jahre regelmäßig gehalten werden,
zunächst sechs Jahre alternierend mit Gunther Schmidt, und mündete
schließlich in ein Buch, das sowohl 1981 in deutscher als auch 1982 in
englischer Sprache erschien.
Neben den kritischen Fragen zu Kontrollstrukturen beispielsweise bei der
Entrekursivierung, das heißt des Übergangs von rekursiven Rechenvorschriften
zur Iteration, also zum Programmieren mit Wiederholungsanweisungen,
stellte sich sehr schnell die Frage nach einer entsprechenden
formalen Behandlung von Datenstrukturen. Da traf es sich gut, daß Mitte
der siebziger Jahre in den USA mit dem Stichwort Abstrakte Datentypen
Aufmerksamkeit erregt wurde. Jim Horning und sein Doktorand John
Guttag, die Professorin Barbara Liskov und Steven Zilles machten auf
64