Diagrammatic logic and effects : the example of exceptions - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2005

Diagrammatic logic and effects : the example of exceptions

Résumé

This paper presents a unified framework for dealing with exceptions in axiomatic specifications and in programming languages. Our framework includes a deduction system and a denotational semantics with respect to a diagrammatic logic \cite{DL,Du}. This approach can be seen as an alternative to the monads approach for introducing effects in specifications and in programs \cite{Mo}; for instance, our denotational semantics is related to the monadic semantics of exceptions by an adjunction result between two different logics. Moreover, in order to build upon a realistic computational model, we use extensive categories as a minimal requirement to express our various logical theories.
Fichier principal
Vignette du fichier
exceptions.pdf (722.47 Ko) Télécharger le fichier

Dates et versions

hal-00004129 , version 1 (03-02-2005)

Identifiants

  • HAL Id : hal-00004129 , version 1

Citer

Dominique Duval, Jean-Claude Reynaud. Diagrammatic logic and effects : the example of exceptions. 2005. ⟨hal-00004129⟩
96 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More