Skip to Main content Skip to Navigation
Conference papers

Global and local space properties of stream programs

Marco Gaboardi 1, 2 Romain Péchoux 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
3 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Romain Péchoux <>
Submitted on : Monday, November 29, 2010 - 11:35:42 AM
Last modification on : Thursday, May 28, 2020 - 4:54:29 PM
Long-term archiving on: : Friday, December 2, 2016 - 7:40:29 PM


Files produced by the author(s)




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⟩



Record views


Files downloads