Hilbert-Post completeness for the state and the exception effects

Abstract : In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the " core " language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.
Type de document :
Communication dans un congrès
Siegfried Rump (Hamburg University of Technology); Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. Springer, Lecture Notes in Computer Sciences, 9582, pp.596-610, 2015, MACIS 2015 Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences. 〈10.1007/978-3-319-32859-1_51〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01121924
Contributeur : Jean-Guillaume Dumas <>
Soumis le : jeudi 8 octobre 2015 - 11:12:52
Dernière modification le : lundi 11 septembre 2017 - 16:20:31
Document(s) archivé(s) le : samedi 9 janvier 2016 - 10:19:07

Fichiers

HP-Completeness.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects. Siegfried Rump (Hamburg University of Technology); Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. Springer, Lecture Notes in Computer Sciences, 9582, pp.596-610, 2015, MACIS 2015 Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences. 〈10.1007/978-3-319-32859-1_51〉. 〈hal-01121924v3〉

Partager

Métriques

Consultations de
la notice

381

Téléchargements du document

88