SugarCubes Implementation of Causality

Frédéric Boussinot (1)

1 MEIJE - Concurrency, Synchronization and Real-time Programming

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.

Keywords: PARALLELISM; REACTIVE SYNCHRONOUS PROGRAMMING; ESTEREL; JAVA

Domains: Other [cs.OH]

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