DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/100/2706

Title: Static slicing of reactive programs
Authors: KULKARNI, AR
RAMESH, S
Issue Date: 2003
Publisher: IEEE COMPUTER SOC
Citation: THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS,98-107
Abstract: 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.
URI: http://dspace.library.iitb.ac.in/xmlui/handle/10054/16125
http://hdl.handle.net/100/2706
ISBN: 0-7695-2005-7
Appears in Collections:Proceedings papers

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback