
handle: 100/2706
We extend the well-known technique of program slicing to synchronous reactive programs like Esterel. Reactive programs are event-oriented and maintain continuous interaction with the environment. The traditional definition of slicing that preserves the values of a program variable at a particular program point is not natural for reactive programs. We have given a new notion of slicing that preserves the on going behaviour of a program with respect to one or more events. The classical definition of control dependency is inadequate for correctly capturing all the control dependencies in reactive programs. Two such dependencies are interference control dependency and time dependency. A slicing algorithm, based upon the proposed definition of slicing, is also presented.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
