Ausnahmebehandlung in objektorientierten Programmiersprachen [electronic resource] /

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 Autorin die denotationelle Methode der Semantikdefinition ein. Damit kann insbesondere die Einflußnahme der Ausnahmebehandlung auf die Ablaufsteuerung eines Programms, also die wichtigste Auswirkung von Ausnahmemechanismen, sehr elegant, präzise und übersichtlich dargestellt werden. Das Buch wendet sich an Leser, die sich über die Möglichkeiten der Ausnahmebehandlung informieren, Programmiersprachen um einen konkreten Ausnahmemechanismus erweitern oder bestehende Mechanismen vergleichen wollen. Das Ausnahmekonzept wird verständlich und nachvollziehbar dargestellt, ohne daß auf die notwendigen Formalismen verzichtet werden muß. Dabei werden auch die zum Verständnis nötigen Konzepte und Begriffe der objektorientierten Programmierung und der denotationellen Semantikbeschreibung eingeführt.

Saved in:
Bibliographic Details
Main Authors: Feder, Christiane. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:ger
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990
Subjects:Computer science., Software engineering., Programming languages (Electronic computers)., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Software Engineering., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/978-3-642-84166-8
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 Autorin die denotationelle Methode der Semantikdefinition ein. Damit kann insbesondere die Einflußnahme der Ausnahmebehandlung auf die Ablaufsteuerung eines Programms, also die wichtigste Auswirkung von Ausnahmemechanismen, sehr elegant, präzise und übersichtlich dargestellt werden. Das Buch wendet sich an Leser, die sich über die Möglichkeiten der Ausnahmebehandlung informieren, Programmiersprachen um einen konkreten Ausnahmemechanismus erweitern oder bestehende Mechanismen vergleichen wollen. Das Ausnahmekonzept wird verständlich und nachvollziehbar dargestellt, ohne daß auf die notwendigen Formalismen verzichtet werden muß. Dabei werden auch die zum Verständnis nötigen Konzepte und Begriffe der objektorientierten Programmierung und der denotationellen Semantikbeschreibung eingeführt.