A Co-iterative Characterization of Synchronous Stream Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

A Co-iterative Characterization of Synchronous Stream Functions

Paul Caspi
  • Fonction : Auteur
Marc Pouzet
  • Fonction : Auteur
  • PersonId : 969936

Résumé

This paper presents an attempt to characterize synchronous stream functions within the framework of co-iteration and to use this characterization in building a compiler for (higher order and recursive) synchronous data-flow programs. First, length-preserving functions are considered and we show that streams equipped with such functions form a Cartesian-closed category. Then this point of view is extended toward non length-preserving ones and we stress the use of “empty” values in handling this case. Finally, the implementation we did of this material in a synchronous stream language built on top of an ML-like language is briefly described.

Dates et versions

hal-01622305 , version 1 (24-10-2017)

Identifiants

Citer

Paul Caspi, Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. Workshop on Coalgebraic Methods in Computer Science (CMCS'98), Mar 1998, Lisbon, Portugal. pp.1-21, ⟨10.1016/S1571-0661(04)00050-7⟩. ⟨hal-01622305⟩
96 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More