SugarCubes Implementation of Causality - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1998

SugarCubes Implementation of Causality

Résumé

Causality problems appear in synchronous formalisms basically when one emits an absent signal. Several strategies have been developed to reject programs with causality problems. Strategies based on potential functions are studied, and several formal semantics using these functions are defined for a fragment of the synchronous language Esterel. Implementation in Java of these strategies is also presented. This implementation is based on SugarCubes which is a set of Java classes for reactive programming.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3487.pdf (188.81 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00073201 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073201 , version 1

Citer

Frédéric Boussinot. SugarCubes Implementation of Causality. RR-3487, INRIA. 1998. ⟨inria-00073201⟩
86 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More