On the semantics of static exception handling

Philippe De Groote 1 Catherine Pilière 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We study an idealized programming language that prevents raised exceptions to escape their scope of declaration by means of static exception handlers which act as safeguards. We present 3 different kinds of semantics: an operational semantics, based on a quasi term-rewriting system that specifies a completely deterministic evaluation strategy; a reduction semantics, based on lambda-calculus like reduction relations that satisfy Church-Rosser property; a denotational semantics, based on call-by-value continuation passing. We prove that these 3 semantics coincide on programs.
Type de document :
Rapport
[Intern report] A00-R-197 || de_groote00a, 2000, 16 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099306
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:38
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00099306, version 1

Collections

Citation

Philippe De Groote, Catherine Pilière. On the semantics of static exception handling. [Intern report] A00-R-197 || de_groote00a, 2000, 16 p. 〈inria-00099306〉

Partager

Métriques

Consultations de la notice

161