Algebraic Semantics of Exception Handling
نویسندگان
چکیده
In this paper, a new semantics for exception handling in algebraic specifications is provided. Our formalism allows all forms of exception and error handling (several error messages, implicit error propagation rule, exception recovery policy), while preserving the existence of initial models. It handles complex examples where various exceptional cases (leading to different processings) can be specified. The main concept of our approach is the distinction between exception and error. This formalism allows use of congruences in a similar manner as in the classical abstract data type theory. Moreover, we show how a functorial semantics of enrichment can be carried over to our framework, and we show how hierarchical consistency and sufficient completeness can be redefined. These results provide a firm basis for writing modular, structured specifications with exception handling features. * Laboratoire de Recherche en Informatique Bât 490, Université PARIS-SUD F-91405 ORSAY CEDEX FRANCE
منابع مشابه
Algebraic effects for Functional Programming
Algebraic effect handlers, are recently gaining in popularity as a purely functional approach to modeling effects. In this article, we give an end-to-end overview of practical algebraic effects in the context of a compiled implementation in the Koka language. In particular, we show how algebraic effects generalize over common constructs like exception handling, state, iterators and async-await....
متن کاملAlgebraic and operational semantics of exceptions and errors
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 is given. We also introduce an operational semantics of a subclass of our specifications which coincides with...
متن کاملAlgebraic and Operational Semantics of Specifications Allowing Exceptions and Errors
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 semanti es of a subdass of our specifications which coincides with...
متن کاملAn Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of the language is its support for compensation. A compensation is an action taken to recover from error or cope with a change of plan, especially when rollback of a process is not possible. StAC is similar to a process a...
متن کاملLabel Algebras: A Systematic Use of Terms
We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the semantics of algebraic specifications can be deeply improved when the satisfaction relation is defined via assignments with range in terms instead of values. Surprisingly, there are several cases where even if two terms have...
متن کامل