SugarCubes Implementation of Causality - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1998

SugarCubes Implementation of Causality


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.


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

Dates and versions

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


  • HAL Id : inria-00073201 , version 1


Frédéric Boussinot. SugarCubes Implementation of Causality. RR-3487, INRIA. 1998. ⟨inria-00073201⟩
78 View
91 Download


Gmail Facebook Twitter LinkedIn More