Upper Bounds on Stream I/O Using Semantic Interpretations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Upper Bounds on Stream I/O Using Semantic Interpretations

Résumé

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.
Fichier principal
Vignette du fichier
csl.pdf (214.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00431469 , version 1 (20-11-2009)

Identifiants

Citer

Marco Gaboardi, Romain Péchoux. Upper Bounds on Stream I/O Using Semantic Interpretations. 23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. pp.271-286, ⟨10.1007/978-3-642-04027-6_21⟩. ⟨inria-00431469⟩
115 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More