109 search results - page 1 / 22 » Program Specialization via Program Slicing |
DAGSTUHL
1996
13 years 6 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
13 years 10 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
12 years 12 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
ICSM
2008
IEEE
13 years 11 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
11 years 7 months ago
2012
