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 metadatas

https://hal.inria.fr/inria-00539835
Contributor : Romain Péchoux <>
Submitted on : Monday, November 29, 2010 - 11:35:42 AM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Long-term archiving on : Friday, December 2, 2016 - 7:40:29 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

478

Files downloads

158