| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431457 | The Journal of Logic and Algebraic Programming | 2007 | 30 Pages |
Abstract
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including thread spawning and recursive definitions and we explore some basic properties of the revised model: determinism, reactivity, CPS translation to a tail recursive form, computational expressivity, and a compositional notion of program equivalence.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
