Algorithmische Sprache und Programmentwicklung

Viac o knihe

Der Titel dieses Buches enthält die Worte ALGORITHMIC LANGUAGE, im Singular. Dies soll die Idee vermitteln, dass es weniger um die Vielfalt der Programmiersprachen geht, sondern vielmehr um ihre Gemeinsamkeiten. Die Aufgabe der formalen Programmentwicklung erwies sich als der ideale Rahmen, um diese Einheit zu demonstrieren. Es ermöglicht die Klassifizierung von Konzepten und die Unterscheidung grundlegender Begriffe von notationalen Merkmalen; und es führt unmittelbar zu einer systematischen Anordnung. Dieser Ansatz wird durch didaktische, praktische und theoretische Überlegungen unterstützt. Die Klarheit der Struktur einer Programmiersprache, die nach den Prinzipien der Programmentransformation entworfen wurde, ist bemerkenswert. Natürlich gibt es verschiedene Notationen für eine solche Sprache. Die in diesem Buch verwendete Notation orientiert sich hauptsächlich an ALGOL 68, ist jedoch auch stark von PASCAL beeinflusst - es hätte ebenso gut umgekehrt sein können. In den Anhängen gibt es gelegentliche Verweise auf die in ALGOL, PASCAL, LISP und anderswo verwendeten Stile.