52 search results - page 2 / 11 » Slicing Synchronous Reactive Programs |
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
CAV
1998
Springer
13 years 9 months ago
1998
Springer
ICTAC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
ENTCS
2006
13 years 5 months ago
2006
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...