3526 articles – 5249 references  [version française]

inria-00539835, version 1

Global and local space properties of stream programs

Marco Gaboardi () 1, Romain Péchoux () 2

First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009 6324 (2009) 51--66

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.

  • 1:  Dipartimento di Informatica [Torino]
  • Università di Torino
  • 2:  CARTE (INRIA Nancy - Grand Est / LORIA)
  • CNRS : UMR7503 – INRIA – Université de Lorraine
  • Domain : Computer Science/Computational Complexity
  • Keywords : stream – complexity – upper bounds – interpretations
  • Comment : The original publication is available at www.springerlink.com
 
  • inria-00539835, version 1
  • http://hal.inria.fr/inria-00539835
  • oai:hal.inria.fr:inria-00539835
  • From: Romain Péchoux <>
  • Submitted on: Monday, 29 November 2010 11:35:42
  • Updated on: Monday, 6 December 2010 16:57:44