loading...
Static Slicing of Reactive Programs
Amsterdam, The Netherlands September 26-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238036Third IEEE International Workshop on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A. R. Kulkarni, Indian Institute of Technology Bombay
S. Ramesh, Indian Institute of Technology Bombay
This paper extends 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.
Citation:
A. R. Kulkarni, S. Ramesh, "Static Slicing of Reactive Programs," scam, pp.98, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions