منابع مشابه
Handling Algebraic Effects
Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism, interactive input/output, and time, and their combinations. Exception handling, however, has so f...
متن کامل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 s...
متن کاملAlgebraic Meta-structure Handling of Huge Database Schemata
Practical experience shows that the maintenance of databases with a very large schema causes severe problems, and no systematic support is provided. In a recent study based on the analysis of a large number of very large database schemata twelve frequently recurring meta-structures were identified and classified into three categories associated with schema construction, lifespan and context. Th...
متن کاملAdequacy for Algebraic Effects
Moggi proposed a monadic account of computational effects. He also presented the computational λ-calculus, λc, a core call-by-value functional programming language for effects; the effects are obtained by adding appropriate operations. The question arises as to whether one can give a corresponding treatment of operational semantics. We do this in the case of algebraic effects where the operatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2013
ISSN: 1860-5974
DOI: 10.2168/lmcs-9(4:23)2013