Upper Bounds on Stream I/O Using Semantic Interpretations

Marco Gaboardi 1 Romain Péchoux 2, 3
1 Dipartimento di Informatica [Torino]
2 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 cs.tcd - Computer Science Department Trinity College [Dublin]
Abstract : This paper extends for the first time semantics interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams. By I/O upper bounds, we mean temporal relations between the number of reads performed on the input stream elements and the number of output elements produced. We study several I/O upper bounds properties that are of both theoretical and practical interests in order to avoid memory overflows.
Type de document :
Communication dans un congrès
Erich Grädel and Reinhard Kahle. 23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. Springer, 5771, pp.271-286, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04027-6_21〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00431469
Contributeur : Romain Péchoux <>
Soumis le : vendredi 20 novembre 2009 - 10:49:51
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : jeudi 17 juin 2010 - 20:10:10

Fichier

csl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Marco Gaboardi, Romain Péchoux. Upper Bounds on Stream I/O Using Semantic Interpretations. Erich Grädel and Reinhard Kahle. 23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. Springer, 5771, pp.271-286, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04027-6_21〉. 〈inria-00431469〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

258

Téléchargements de fichiers

86

Contact


archive-ouverte@inria.fr