Sciweavers

103
Voted
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 days ago
Slicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
Vinod Ganapathy, S. Ramesh