Skip to Main content Skip to Navigation
New interface
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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadata
Contributor : Romain Péchoux Connect in order to contact the contributor
Submitted on : Monday, November 29, 2010 - 11:35:42 AM
Last modification on : Saturday, June 25, 2022 - 7:45:10 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