84 search results - page 1 / 17 » Static Slicing of Reactive Programs |
SCAM
2003
IEEE
14 years 20 days ago
2003
IEEE
CSMR
2007
IEEE
14 years 1 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
ENTCS
2002
13 years 7 months ago
2002
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...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
PASTE
1998
ACM
13 years 11 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...