Adjunctions for exceptions

Abstract : 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.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00714710
Contributor : Dominique Duval <>
Submitted on : Friday, October 26, 2012 - 5:06:46 PM
Last modification on : Thursday, July 4, 2019 - 9:54:02 AM
Long-term archiving on : Sunday, January 27, 2013 - 3:50:07 AM

Files

DDFR-exceptions.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00714710, version 2
  • ARXIV : 1207.1255

Collections

Citation

Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions. 2012. ⟨hal-00714710v2⟩

Share

Metrics

Record views

320

Files downloads

183