Ausnahmebehandlung in objektorientierten Programmiersprachen

Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschläge für Ausnahmemechanismen blieben die formalen Aspekte der Ausnahmebehandlung bisher weitgehend unberücksichtigt. In diesem Buch wird eine neue Theorie der Ausnahmebehandlung vorgestellt. Für die formale Beschreibung setzt die Aut...