Skip to Main content Skip to Navigation

Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle

Abstract : By analysing the way ML exceptions can escape their scope of declaration, Philippe de Groote proposed in TLCA'95 a simply typed lambda-calculus of "static" exception handling ensuring that a well typed term cannot lead to a uncaught exception. The underlying idea was to keep the handlers active during the entire execution of the program. We propose a study of this concept in a realistic programming context authorizing general recursion by means of a fixed-point operator. The resulting calculus is described using three semantical forms: reduction rules, operational semantics and CPS semantics. We establish that these three interpretations are equivalent for a particular class of terms (the programs), thus showing that static exception handling can sometimes be considered as an acceptable alternative to classical, "dynamic" exception handling.
Document type :
File URL :
Complete list of metadata
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:39:07 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM


  • HAL Id : tel-01746500, version 1



Catherine Lucquiaud-Pilière. Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10211⟩. ⟨tel-01746500⟩



Record views