LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reactive C: an extension of C to program reactive systems
Software—Practice & Experience
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Coordination of Synchronous Programs
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Resource control for synchronous cooperative threads
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
The reactive programming approach on top of Java/J2ME
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Feasible reactivity in a synchronous Π-calculus
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Information and Computation
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Interactive Programming of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
What is in a step: new perspectives on a classical question
Time for verification
LibGALS: a library for GALS systems design and modeling
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Constructive semantics for instantaneous reactions
Theoretical Computer Science
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
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.