ISBN-13: 9783540524670 / Niemiecki / Miękka / 1990 / 259 str.
Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozesssysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschlage fur Ausnahmemechanismen blieben die formalen Aspekte der Ausnahmebehandlung bisher weitgehend unberucksichtigt. In diesem Buch wird eine neue Theorie der Ausnahmebehandlung vorgestellt. Fur die formale Beschreibung setzt die Autorin die denotationelle Methode der Semantikdefinition ein. Damit kann insbesondere die Einflussnahme der Ausnahmebehandlung auf die Ablaufsteuerung eines Programms, also die wichtigste Auswirkung von Ausnahmemechanismen, sehr elegant, prazise und ubersichtlich dargestellt werden. Das Buch wendet sich an Leser, die sich uber die Moglichkeiten der Ausnahmebehandlung informieren, Programmiersprachen um einen konkreten Ausnahmemechanismus erweitern oder bestehende Mechanismen vergleichen wollen. Das Ausnahmekonzept wird verstandlich und nachvollziehbar dargestellt, ohne dass auf die notwendigen Formalismen verzichtet werden muss. Dabei werden auch die zum Verstandnis notigen Konzepte und Begriffe der objektorientierten Programmierung und der denotationellen Semantikbeschreibung eingefuhrt."