Global and local space properties of stream programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Global and local space properties of stream programs


In this paper, we push forward the approach proposed in [1] aiming at studying semantic interpretation criteria for the purpose of ensuring safety and complexity properties of programs working on streams. The paper improves the previous results by considering global and local upper bounds properties of both theoretical and practical interests guaranteeing that the size of each output stream element is bounded by a function in the maximal size of the input stream elements. Moreover, in contrast to previous studies, these properties also apply to a wide class of stream definitions, that is functions that do not have streams in the input but produce an output stream.
Fichier principal
Vignette du fichier
main.pdf (362.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00539835 , version 1 (29-11-2010)



Marco Gaboardi, Romain Péchoux. Global and local space properties of stream programs. FOPARA 2009 - First International Workshop on Foundational and Practical Aspects of Resource Analysis, Nov 2009, Eindhoven, Netherlands. pp.51--66, ⟨10.1007/978-3-642-15331-0_4⟩. ⟨inria-00539835⟩
263 View
125 Download



Gmail Facebook X LinkedIn More