Algorithmische Sprache und Programmentwicklung - Bauer, Friedrich L. 1924-2015 (Springer Berlin Heidelberg, 1984)
herrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselbständigten Variablen und Zeiger. Der vergleichsweise geringe Umfang von Kap. 7 bedeutet einerseits, daß die Beschreibung sich auf Grundsätzliches beschränkt, dem sich viele aus der Literatur der Systemprogrammierung bekannte Einzelheiten unterordnen, beispielsweise aus D. E. Knuth's 'The Art of Computer Programming' oder G. Seegmüllers 'Einführung in die Systemprogrammierung' , andererseits aber auch, daß die Vervollständigung der theoretischen Grundlagen noch aussteht. Zu den einzelnen Abschnitten dieses Buches gibt es einen Hintergrund unterschiedlich weit entwickelter mathematischer Theorien. Wichtige Grundbegriffe sind verbandstheoretischer Natur. Die fundamentalen Arbeiten von D. Scott haben das eindrucksvoll bewiesen. Bei den Rechenstrukturen des 3. Kapitels steht die moderne Theorie der universellen Algebra im Hintergrund, insbesondere Arbeiten von Birkhoff und Tarski sind hier von Bedeutung. Da wir kein mathematisches Lehrbuch vorlegen, müssen wir uns meistens mit Andeutungen und Hinweisen begnügen. Das Buch hat sich aus Vorlesungen und begleitenden Übungen entwickelt, die in den letzten Jahren an der Technischen Universität München gehalten wurden. Es entstand in enger Wechselwirkung mit dem Projekt CIP ("Computer-aided Intuition-guided Programming") und dem Teilprojekt "Breitbandsprache und Programmtransformation" im Sonderforschungsbereich 49, Programmiertechnik, an der Technischen Universität München. Bei dem Versuch, für ein einigermaßen abgerundetes, geschlossenes Lehrgebäude der Programmierung die Fundamente zu legen, mußte vieles fragmentarisch bleiben. In manchen Punkten war es notwendig, Positionen zu beziehen, die auf den ersten Blick unkonventionell erscheinen mögen, um Erstarrungen zu lösen und einseitige Doktrinen zu korrigieren