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.
Type de document :
Communication dans un congrès
Marko van Eekelen and Olha Shkaravska. First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. Springer, 6324, pp.51--66, 2010, Lecture notes in computer science. 〈10.1007/978-3-642-15331-0_4〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00539835
Contributeur : Romain Péchoux <>
Soumis le : lundi 29 novembre 2010 - 11:35:42
Dernière modification le : samedi 27 janvier 2018 - 01:31:50
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 19:40:29

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marco Gaboardi, Romain Péchoux. Global and local space properties of stream programs. Marko van Eekelen and Olha Shkaravska. First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. Springer, 6324, pp.51--66, 2010, Lecture notes in computer science. 〈10.1007/978-3-642-15331-0_4〉. 〈inria-00539835〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

94