Skip to Main content Skip to Navigation
Reports

SugarCubes Implementation of Causality

Frédéric Boussinot 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Document type :
Reports
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00073201
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 12:10:58 PM
Last modification on : Saturday, January 27, 2018 - 1:31:30 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:37:42 PM

Identifiers

  • HAL Id : inria-00073201, version 1

Collections

Citation

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

Share

Metrics

Record views

161

Files downloads

152