HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:10:58 PM
Last modification on : Friday, February 4, 2022 - 3:15:21 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

74

Files downloads

89