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

lückenlosen Programmkorrektheitsbeweisens. Das Gegenargument, Programminspektion
sei wegen des monoton sich wiederholenden Räsonnierens
extrem ermüdend und deshalb fehleranfällig, lasse ich nicht gelten.
Ein Informatiker, der an sicher laufenden Programmen wirklich interessiert
ist, verscheucht sein Ermüden durch seine Einsicht, dass Inspektion
prinzipiell nicht völlig umgangen werden kann.
Weil nichtrekursive Prozeduraufrufe gleich hohe Laufzeiteffizienz wie im
ALCOR MAINZ 2002 behalten sollten, zwang uns die Rechnerstruktur
der 2002, von der üblichen Gestaltung des Prozedurlaufzeitstacks
– wie etwa von Dijkstra 1960 beschrieben – abzuweichen: Parameter
und einfache Variablen, lokal wie global, blieben absolut, direkt, ohne
Modifikation adressiert, so dass wir Prozeduraufrufe quasi an die Deklarationen
herantransportierten, während die ALGOL 60-Kopierregel den
umgekehrten Weg nahelegt. Weil das implizite Namensumbenennen,
um Bindungen nicht zu verfälschen (um statische Bindung zu erzielen),
uns zu genauem Kopierregelstudium zwang, entdeckten wir ALGOL 60-
Programme, deren statische Zeiger nicht der von Dijkstra beschriebenen
“most recent”-Eigenschaft oder -Vorschrift genügen (deren Befolgung dynamische
Namensbindung beinhaltet). Das unerwartete Laufzeitverhalten
solcher Programmbeispiele legten wir im Verein mit einem musterhaftem
Übersetzer und Prozedurlaufzeitsystem – in ALGOL-artiger Sprache
– nieder im Buch A. A. Grau, U. Hill, H. Langmaack “Translation of AL-
GOL 60” .
Diskrepanzen zwischen anderweitigen Implementierungen, die der Devise
“most recent”-Bindung folgten, und der im ALGOL 60-Bericht festgelegten
Semantik statischer Bindung wirkten fatal einschränkend auf die
spätere Programmiersprachentwicklung. Die Laufzeitrechenstrukturen
etwa von C und ADA sind gegenüber ALGOL 60 (auch ALGOL 68 und
PASCAL) deutlich reduziert, weil C und ADA nur reguläre formale Aufrufbäume
gestatten. ALGOL 60 wie 68 dagegen können durch bloße
Programmstrukturierung beliebig rekursiv aufzählbare, reguläre wie irreguläre
formale Aufrufbäume generieren und damit das Laufzeitverhalten
ohne Abfrage von Daten zusätzlich steuern (Langmaack, Hauptvortrag,
1. GI-Jahrestagung, München 1971). Leider entwickelte die Firma Siemens
ab Ende 1964 die 2002 nicht weiter. Aber gerade unsere Arbeit am
ALCOR MÜNCHEN 2002 ist reiche Quelle für Erforschung korrekter
Programm-, insbesondere Prozedurimplementierungen gewesen.
[Hans Langmaack]
75