Record Details

Static slicing of reactive programs

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Static slicing of reactive programs
 
Creator KULKARNI, AR
RAMESH, S
 
Description 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 ongoing 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.
 
Publisher IEEE COMPUTER SOC
 
Date 2011-10-26T20:57:55Z
2011-12-15T09:12:30Z
2011-10-26T20:57:55Z
2011-12-15T09:12:30Z
2003
 
Type Proceedings Paper
 
Identifier THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS,98-107
0-7695-2005-7
http://dspace.library.iitb.ac.in/xmlui/handle/10054/16125
http://hdl.handle.net/100/2706
 
Source 3rd IEEE International Workshop on Source Code Analysis and Manipulation,AMSTERDAM, NETHERLANDS,SEP 26-27, 2003
 
Language English