Type-based Initialization of a Synchronous Data-flow Language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Type-based Initialization of a Synchronous Data-flow Language

Jean-Louis Colaço
  • Fonction : Auteur
Marc Pouzet
  • Fonction : Auteur
  • PersonId : 969936

Résumé

One of the appreciated features of the synchronous data-flow approach is that a program defines a perfectly deterministic behavior. But the use of the delay primitive leads to undefined values at the first cycle; thus a data-flow program is really deterministic only if it can be shown that such undefined values do not affect the behavior of the system. This paper presents an initialization analysis that guarantees the deterministic behavior of programs. This property being undecidable in general, the paper proposes a safe approximation of the property, precise enough for most data-flow programs. This analysis is a one-bit analysis — expressions are either initialized or uninitialized — and is defined as an inference type system with sub-typing constraints. This analysis has been implemented in the Lucid Synchrone compiler and in a new Scade-Lustre prototype compiler. It gives very good results in practice.

Dates et versions

hal-01548143 , version 1 (27-06-2017)

Identifiants

Citer

Jean-Louis Colaço, Marc Pouzet. Type-based Initialization of a Synchronous Data-flow Language. SLAP 2002 - Synchronous Languages, Applications, and Programming, Apr 2002, Grenoble, France. pp.65-78, ⟨10.1016/S1571-0661(05)80441-4⟩. ⟨hal-01548143⟩
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More