Adjunctions for exceptions - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2012

Adjunctions for exceptions

Jean-Guillaume Dumas
Dominique Duval
Laurent Fousse
  • Fonction : Auteur
  • PersonId : 847286
Jean-Claude Reynaud
  • Fonction : Auteur
  • PersonId : 829864

Résumé

An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended semantics. We solve this apparent contradiction by efining a logic for exceptions with a proof system which is close to their syntax and where their intended semantics can be seen as a model. This requires a robust framework for logics and their morphisms, which is provided by categorical tools relying on adjunctions, fractions and limit sketches.
Fichier principal
Vignette du fichier
DDFR-exceptions.pdf (263.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00714710 , version 1 (05-07-2012)
hal-00714710 , version 2 (26-10-2012)

Identifiants

Citer

Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions. 2012. ⟨hal-00714710v1⟩
201 Consultations
84 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More