Ausnahmebehandlung in objektorientierten Programmiersprachen

Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozesysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschlge fr Ausnahmemechanismen blieben die formalen Aspekte der Ausnahmebehandlung bisher weitgehend unbercksichtigt. In diesem Buch wird eine neue Theorie der Ausnahmebehandlung vorgestellt. Fr die formale Beschreibung setzt die Autorin die denotationelle Methode der Semantikdefinition ein. Damit kann insbesondere die Einflunahme der Ausnahmebehandlung auf die Ablaufsteuerung eines Programms, also die wichtigste Auswirkung von Ausnahmemechanismen, sehr elegant, przise und bersichtlich dargestellt werden. Das Buch wendet sich an Leser, die sich ber die Mglichkeiten der Ausnahmebehandlung informieren, Programmiersprachen um einen konkreten Ausnahmemechanismus erweitern oder bestehende Mechanismen vergleichen wollen. Das Ausnahmekonzept wird verstndlich und nachvollziehbar dargestellt, ohne da auf die notwendigen Formalismen verzichtet werden mu. Dabei werden auch die zum Verstndnis ntigen Konzepte und Begriffe der objektorientierten Programmierung und der denotationellen Semantikbeschreibung eingefhrt.