Demand-driven real-time computing
Jean-Raymond Gagné · UNSWorks (UNSW Sydney) · 2012
We present the RLucid language, which is Lucid with a synchronous time semantics, along with an extra operator, before, to allow for reactivity. We translate the index-based semantics into a timestamp-based semantics, and, by using demand-driven techniques, show how the language can be implemented efficiently.