Sciweavers

Share
115 search results - page 1 / 23
» Program Specialization via Program Slicing
Sort
View
DAGSTUHL
1996
9 years 2 months ago
Program Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
Thomas W. Reps, Todd Turnidge
WCFLP
2005
ACM
9 years 7 months ago
Lightweight program specialization via dynamic slicing
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
Claudio Ochoa, Josep Silva, Germán Vidal
TSE
2011
107views more  TSE 2011»
8 years 8 months ago
Deriving a Slicing Algorithm via FermaT Transformations
In this paper we present a case study in deriving an algorithm from a formal speciļ¬cation via FermaT transformations. The general method (which is presented in a separate paper)...
Martin P. Ward, Hussein Zedan
ICSM
2008
IEEE
9 years 7 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta
books