|
Showing 1 - 3 of
3 matches in All Departments
The title of this book contains the words ALGORITHMIC LANGUAGE, in
the singular. This is meant to convey the idea that it deals not so
much with the diversity of program ming languages, but rather with
their commonalities. The task of formal program develop It allows
classifying ment proved to be the ideal frame for demonstrating
this unity. concepts and distinguishing fundamental notions from
notational features; and it leads immediately to a systematic
disposition. This approach is supported by didactic, practical, and
theoretical considerations. The clarity of the structure of a
programming language de signed according to the principles of
program transformation is remarkable. Of course there are various
notations for such a language. The notation used in this book is
mainly oriented towards ALGOL 68, but is also strongly influenced
by PASCAL - it could equally well have been the other way round. In
the appendices there are occa sional references to the styles used
in ALGOL, PASCAL, LISP, and elsewhere."
The title of this book contains the words ALGORITHMIC LANGUAGE, in
the singular. This is meant to convey the idea that it deals not so
much with the diversity of program ming languages, but rather with
their commonalities. The task of formal program develop It allows
classifying ment proved to be the ideal frame for demonstrating
this unity. concepts and distinguishing fundamental notions from
notational features; and it leads immediately to a systematic
disposition. This approach is supported by didactic, practical, and
theoretical considerations. The clarity of the structure of a
programming language de signed according to the principles of
program transformation is remarkable. Of course there are various
notations for such a language. The notation used in this book is
mainly oriented towards ALGOL 68, but is also strongly influenced
by PASCAL - it could equally well have been the other way round. In
the appendices there are occa sional references to the styles used
in ALGOL, PASCAL, LISP, and elsewhere."
herrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der
Ebene der verselb- standigten Variablen und Zeiger. Der
vergleichsweise geringe Umfang von Kap. 7 bedeutet einerseits, dass
die Beschreibung sich auf Grundsatzliches beschrankt, 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. Seegmullers, Ein- fuhrung in
die Systemprogrammierung', andererseits aber auch, dass die
Vervollstandi- 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, mussen wir uns meistens mit
Andeutungen und Hinweisen begnugen. Das Buch hat sich aus
Vorlesungen und begleitenden UEbungen entwickelt, die in den letz-
ten Jahren an der Technischen Universitat Munchen 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
Universitat Munchen. Bei dem Versuch, fur ein einigermassen
abgerundetes, geschlossenes Lehrgebaude der Programmie- rung die
Fundamente zu legen, musste vieles fragmentarisch bleiben. In
manchen Punkten war es notwendig, Positionen zu beziehen, die auf
den ersten Blick unkonventionell erschei- nen moegen, um
Erstarrungen zu loesen und einseitige Doktrinen zu korrigieren.
|
|