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...