H. Wössner - Böcker

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.

Dieser Band enthalt die Beitrage zur Fachtagung "Programmiersprachen und Programmentwicklung", 9. und 10. Marz 1982 in Mlinchen. Die Tagung ist die siebte in der Reihe der Fachtagungen, die der FachausschuB 2 "Programmiersprachen und Programmentwicklung" der Gesellschaft fUr In- formatik veranstaltet und deren erste 1971 ebenfalls in MUnchen statt- gefunden hat. Dazwischen liegen SaarbrUcken (1972), Kiel (1974), Er- langen (1976), Braunschweig (1978) und Darmstadt (1980). Ziel dieser Fachtagungen war und ist es, den jeweils aktuellen Stand des Fachge- biets darzustellen, neuere Entwicklungen aufzuzeigen und den Erfahrungs- austausch zwischen Forschern und Anwendern zu fordern. Die Erweiterung der frUheren Bezeichnung "Programmiersprachen" des Fachausschusses (und seiner ersten fUnf Fachtagungen) tragt der in den letzten J,ahren gewachsenen Einsicht Rechnung, daB sprachliche und me- thodische Fortschritte in der Programmierung nur gemeinsam erzielt wer- den konnen. Dieses umfassendere Selbstverstandnis des Fachgebiets, wie auch die zunehmende Annaherung von Forschung und Anwendung kommen gera- de in der,Gesamtheit der vorliegenden Beitrage deutlich zum Ausdruck.Auf eine thematische Untergruppierung wurde deshalb verzichtet. Die An- ordnung der Vortrage entspricht ihrer Reihenfolge im Tagungsprogramm. Vorgezogen wurden lediglich die Hauptvortrage, in denen anerkannte Ex- perten richtungweisend Uber neuere Entwicklungen in Theorie und Praxis berichten. Wahrend von einem der Hauptvortrage bei Drucklegung leider nur die Zusammenfassung vorlag, traf das Manuskript von Professor Turski, Universitat Warschau, - in der gegenwartigen Krise eigentlich wider Er- warten - noch rechtzeitig ein.

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.