The SL Synchronous Language

Abstract : We present a new synchronous programming language named \Name{SL} based on \Name{Esterel}, in which hypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one instant only at the end of this instant, and so reaction to this absence is delayed. \Name{Esterel} «causality problems» are avoided at the price of replacing strong preemptions by weak ones. An operational semantics based on rewriting rules is given and an implementation is described which allows either to directly execute programs, or to produce automata.
Type de document :
Rapport
[Research Report] RR-2510, INRIA. 1995
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00074168
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:39:33
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:34:54

Fichiers

Identifiants

  • HAL Id : inria-00074168, version 1

Collections

Citation

Frédéric Boussinot, Robert De Simone. The SL Synchronous Language. [Research Report] RR-2510, INRIA. 1995. 〈inria-00074168〉

Partager

Métriques

Consultations de la notice

129

Téléchargements de fichiers

92