109 search results - page 2 / 22 » Program Specialization via Program Slicing |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
WDAG
2001
Springer
14 years 1 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE