Skip to Main content Skip to Navigation

Diagrammatic logic and effects : the example of exceptions

Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00004129
Contributor : Francesca Leinardi <>
Submitted on : Thursday, February 3, 2005 - 11:11:16 AM
Last modification on : Monday, December 2, 2019 - 11:20:06 AM
Document(s) archivé(s) le : Thursday, April 1, 2010 - 8:03:40 PM

Identifiers

  • HAL Id : hal-00004129, version 1

Collections

IMAG | CNRS | UGA

Citation

Dominique Duval, Jean-Claude Reynaud. Diagrammatic logic and effects : the example of exceptions. 2005. ⟨hal-00004129⟩

Share

Metrics

Record views

208

Files downloads

57