Algorithmische Sprache und Programmentwicklung

F. L. Bauer

ISBN 10: 3662056550 / ISBN 13: 9783662056554

Published by Springer Berlin Heidelberg, 2013

About this Item

Druck auf Anfrage Neuware - Printed after ordering - herrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselb stä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, beispiels weise aus D. E. Knuth's ,The Art of Computer Programming' oder G. Seegmüllers ,Ein führung in die Systemprogrammierung' , andererseits aber auch, daß die Vervollständi gung der theoretischen Grundlagen noch aussteht. Zu den einzelnen Abschnitten dieses Buches gibt es einen Hintergrund unterschiedlich weit entwickelter mathematischer Theorien. Wichtige Grundbegriffe sind verbandstheore tischer Natur. Die fundamentalen Arbeiten von D. Scott haben das eindrucksvoll bewie sen. Bei den Rechenstrukturen des 3. Kapitels steht die moderne Theorie der universellen Algebra im Hintergrund, insbesondere Arbeiten von Birkhoff und Tarski sind hier von Be deutung. 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 letz ten 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 Sonderfor schungsbereich 49, Programmiertechnik, an der Technischen Universität München. Bei dem Versuch, für ein einigermaßen abgerundetes, geschlossenes Lehrgebäude der Programmie rung die Fundamente zu legen, mußte vieles fragmentarisch bleiben. In manchen Punkten war es notwendig, Positionen zu beziehen, die auf den ersten Blick unkonventionell erschei nen mögen, um Erstarrungen zu lösen und einseitige Doktrinen zu korrigieren.

Seller Inventory # 9783662056554

Bibliographic Details

• Title: Algorithmische Sprache und Programmentwicklung
• Publisher: Springer Berlin Heidelberg
• Publication Date: 2013
• Language: German
• ISBN 10: 3662056550
• ISBN 13: 9783662056554
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

herrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselb- stä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, beispiels- weise aus D. E. Knuth's, The Art of Computer Programming' oder G. Seegmüllers, Ein- führung in die Systemprogrammierung', andererseits aber auch, daß die Vervollständi- gung der theoretischen Grundlagen noch aussteht. Zu den einzelnen Abschnitten dieses Buches gibt es einen Hintergrund unterschiedlich weit entwickelter mathematischer Theorien. Wichtige Grundbegriffe sind verbandstheore- tischer Natur. Die fundamentalen Arbeiten von D. Scott haben das eindrucksvoll bewie- sen. Bei den Rechenstrukturen des 3. Kapitels steht die moderne Theorie der universellen Algebra im Hintergrund, insbesondere Arbeiten von Birkhoff und Tarski sind hier von Be- deutung. 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 letz- ten 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 Sonderfor- schungsbereich 49, Programmiertechnik, an der Technischen Universität München. Bei dem Versuch, für ein einigermaßen abgerundetes, geschlossenes Lehrgebäude der Programmie- rung die Fundamente zu legen, mußte vieles fragmentarisch bleiben. In manchen Punkten war es notwendig, Positionen zu beziehen, die auf den ersten Blick unkonventionell erschei- nen mögen, um Erstarrungen zu lösen und einseitige Doktrinen zu korrigieren.