## About raising and handling exceptions (2006)

### BibTeX

@MISC{Duval06aboutraising,

author = {Dominique Duval and Jean-claude Reynaud},

title = {About raising and handling exceptions},

year = {2006}

}

### OpenURL

### Abstract

Abstract. This paper presents a unified framework for dealing with a deduction system and a denotational semantics of exceptions. It is based on the fact that handling exceptions can be seen as a kind of generalized case distinction. This point of view on exceptions has been introduced in 2004, it is based on the notion of diagrammatic logic, which assumes some familiarity with category theory. Extensive sums of types can be used for dealing with case distinctions. The aim of this new paper is to focus on the role of a generalized extensivity property for dealing with exceptions. Moreover, the presentation of this paper makes only a

### Citations

1566 | The Definition of Standard ML
- Milner, Tofte, et al.
- 1990
(Show Context)
Citation Context ...ion: f c = (case e u0 of [ ei ⇒ fi ]i∈I) c : Xu,0 −→ Y . The following result proves that the exceptions are handled as required; it can be compared to the rules for “handle” in the definition of SML =-=[10]-=-. Theorem 4.17 (properties of the handling of exceptions). • Let u1 ≡ c u2 : X → Y , then (with the above notations): u1 handle [ei ⇒ fi]i∈I ≡ c u2 handle [ei ⇒ fi]i∈I . • For every value u v : X → Y ... |

733 | Notions of Computation and Monads
- Moggi
- 1991
(Show Context)
Citation Context ...ed interpretation. Indeed, the type of exceptions is implicit in the language, while its interpretation requires an explicit set of exceptions. A major step towards a solution is the use of monads in =-=[11]-=-, in the framework of typed lambda-calculus: the functions are classified, on the one hand the values are not allowed to raise any exception, on the other hand the computations may raise an exception.... |

92 |
Introduction to extensive and distributive categories
- Carboni, Lack, et al.
- 1993
(Show Context)
Citation Context ...ive over the sum. Products and sums of types can be interpreted as cartesian products and disjoint unions of sets, respectively, so that the distributivity property does hold on sets. It follows from =-=[3]-=- that case distinction can also be presented in a weaker extensive logic, where sums of types are allowed, and the inverse image of a sum by a function is still a sum. In this paper, exceptions are fo... |

52 | The Jakobshavns effect
- Hughes
- 1986
(Show Context)
Citation Context ...s are formalized in a kind of generalized extensive logic; in [6], this framework is enriched for dealing also with product types. Exceptions are studied in many different frameworks, for instance in =-=[8, 2, 14, 1, 9, 13, 15]-=-. But, to our knowledge, the emphasize on the use of the extensivity property for dealing with exceptions, is new. A puzzling issue about exceptions is the apparent discrepancy between the deduction s... |

33 | Power.Algebraic Operations and Generic Effects
- Plotkin, John
- 2003
(Show Context)
Citation Context ...s are formalized in a kind of generalized extensive logic; in [6], this framework is enriched for dealing also with product types. Exceptions are studied in many different frameworks, for instance in =-=[8, 2, 14, 1, 9, 13, 15]-=-. But, to our knowledge, the emphasize on the use of the extensivity property for dealing with exceptions, is new. A puzzling issue about exceptions is the apparent discrepancy between the deduction s... |

10 |
Diagrammatic Specifications
- Duval
(Show Context)
Citation Context ...ts set-valued interpretation. So, this point of view on exceptions requires a framework for dealing with several logics and the links between them. Such a framework is provided by diagrammatic logics =-=[5, 4]-=-. This work does rely on the theory of diagrammatic logics, mainly for the definition of the decorated logic and for the link between the decorated logic and the explicit logic, as explained in [6, 7]... |

10 | Semantics for algebraic operations
- Plotkin, Power
- 2001
(Show Context)
Citation Context ...B + E, where E is the set of exceptional values, if f is a computation. But this approach fails to formalize in a satisfactory way the handling of exceptions in the framework of typed lambda-calculus =-=[12]-=-. Our approach succeeds in formalizing the handling of exceptions, but the extensive logic is fairly different from typed lambda-calculus. Although we do not use monads explicitly, we do distinguish v... |

7 | Exceptions, continuations and macro-expressiveness
- Laird
- 2002
(Show Context)
Citation Context ...s are formalized in a kind of generalized extensive logic; in [6], this framework is enriched for dealing also with product types. Exceptions are studied in many different frameworks, for instance in =-=[8, 2, 14, 1, 9, 13, 15]-=-. But, to our knowledge, the emphasize on the use of the extensivity property for dealing with exceptions, is new. A puzzling issue about exceptions is the apparent discrepancy between the deduction s... |

6 |
Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors
- Bernot, Bidoit, et al.
- 1986
(Show Context)
Citation Context |

4 |
Diagrammatic specifications. Rapport de recherche
- Duval, Lair
- 2009
(Show Context)
Citation Context ...ts set-valued interpretation. So, this point of view on exceptions requires a framework for dealing with several logics and the links between them. Such a framework is provided by diagrammatic logics =-=[5, 4]-=-. This work does rely on the theory of diagrammatic logics, mainly for the definition of the decorated logic and for the link between the decorated logic and the explicit logic, as explained in [6, 7]... |

4 | Mossakowski Parametrized Exceptions
- Walter, Schröder, et al.
- 2005
(Show Context)
Citation Context |

3 | Diagrammatic logic and exceptions: an introduction - Duval, Reynaud, et al. - 2005 |

3 |
Exceptions for algebraic specifications
- Schobbens
- 1993
(Show Context)
Citation Context |

2 |
Diagrammatic logic and effects: the example of exceptions. ccsd-00004129
- Duval, Reynaud
- 2004
(Show Context)
Citation Context ...a denotational semantics of exceptions. It is based on the fact that handling exceptions can be seen as a kind of generalized case distinction. This point of view on exceptions has been introduced in =-=[6]-=-, and a short presentation can be found in [7]. In both these papers, some familiarity with category theory (adjunction, sketches,.. . ) is assumed. One aim of this new paper to present the main ideas... |

1 |
Algebraic and operational semantics of exceptions and errors
- Gogolla, Drosten, et al.
- 1983
(Show Context)
Citation Context |