Join Our Newsletter
109 search results - page 1 / 22 » Program Specialization via Program Slicing |
DAGSTUHL
1996
12 years 4 months ago
1996
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...
WCFLP
2005
ACM
12 years 9 months ago
2005
ACM
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...
TSE
2011
11 years 10 months ago
2011
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)...
ICSM
2008
IEEE
12 years 9 months ago
2008
IEEE
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...
TOCS
2012
10 years 5 months ago
2012
