Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00074168
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:39:33 PM
Last modification on : Monday, January 4, 2021 - 7:08:04 PM
Long-term archiving on: : Sunday, April 4, 2010 - 9:34:54 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

167

Files downloads

192