The SL Synchronous Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1995

The SL Synchronous Language

Robert de Simone

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2510.pdf (305.47 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00074168 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074168 , version 1

Citer

Frédéric Boussinot, Robert de Simone. The SL Synchronous Language. [Research Report] RR-2510, INRIA. 1995. ⟨inria-00074168⟩
96 Consultations
162 Téléchargements

Partager

Gmail Facebook X LinkedIn More