Modular Causality in a Synchronous Stream Language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Modular Causality in a Synchronous Stream Language

Pascal Cuoq
  • Fonction : Auteur
  • PersonId : 1014311
Marc Pouzet
  • Fonction : Auteur
  • PersonId : 969936

Résumé

This article presents a causality analysis for a synchronous stream language with higher-order functions. This analysis takes the shape of a type system with rows. Rows were originally designed to add extensible records to the ML type system (Didier Rémy, Mitchell Wand). We also restate briefly the coiterative semantics for synchronous streams (Paul Caspi, Marc Pouzet), and prove the correctness of our analysis with respect to this semantics.

Dates et versions

hal-01571760 , version 1 (03-08-2017)

Identifiants

Citer

Pascal Cuoq, Marc Pouzet. Modular Causality in a Synchronous Stream Language. 10th European Symposium on Programming (ESOP'01), Apr 2001, Genova, Italy. pp.237-251, ⟨10.1007/3-540-45309-1_16⟩. ⟨hal-01571760⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More