Algorithmische Sprache und Programmentwicklung

F. L. Bauer (u. a.)

ISBN 10: 3662056550 / ISBN 13: 9783662056554

Published by Springer-Verlag GmbH, 2013

About this Item

Algorithmische Sprache und Programmentwicklung | F. L. Bauer (u. a.) | Taschenbuch | xv | Deutsch | 2013 | Springer-Verlag GmbH | EAN 9783662056554 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105722547

Bibliographic Details

• Title: Algorithmische Sprache und Programmentwicklung
• Publisher: Springer-Verlag GmbH
• 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.