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.
Type de document :
Rapport
RR-3487, INRIA. 1998
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00073201
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:10:58
Dernière modification le : jeudi 11 janvier 2018 - 16:41:57
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:37:42

Fichiers

Identifiants

  • HAL Id : inria-00073201, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

120

Téléchargements de fichiers

94