|
|||||
|
|
Algebraic and operational semantics of specifications allowing exceptions and errors |
|
| Authors: | M. Gogolla K. Drosten U. Lipeck H.-D. Ehrich |
| Affiliation: | Fachbereich Informatik B, Technical University of Braunschweig, D-3300 Braunschweig, Fed. Rep. Germany |
| Abstract: | The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling: error introduction, error propagation and error recovery. The algebraic semantics of our method and a new correctness criterion are given. We also introduce an operational semantics of a subclass of our specifications which coincides with the algebraic semantics. |
| Keywords: | Specification of abstract data types error and exception handling algebraic semantics correctness of specifications operational semantics |
| 本文献已被 ScienceDirect 等数据库收录！ | |