Upper Bounds on Stream I-O Using Semantic InterpretationsReportar como inadecuado




Upper Bounds on Stream I-O Using Semantic Interpretations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: Marco Gaboardi - Romain Péchoux -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados