The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1996 vol.22)
pp: 256-266
ABSTRACT
<p><b>Abstract</b>—We present SL, a new programming language of the synchronous reactive family in which hypotheses about signal presence/absence are disallowed. One can decide that a signal is absent during an instant only at the end of this instant, and so reaction to this absence is delayed to the next instant. Sources of causal circularities are avoided, while only weak preemption remains. A structural operational semantics is provided through rewrite rules, and an implementation is described. In addition to directly executing programs, this implementation can also be used to produce automata by symbolic evaluation.</p>
INDEX TERMS
Parallelism, concurrency, synchronous programming languages, automata, reactive systems.
CITATION
Frédéric Boussinot, Robert de Simone, "The SL Synchronous Language", IEEE Transactions on Software Engineering, vol.22, no. 4, pp. 256-266, April 1996, doi:10.1109/32.491649
8 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool