796 search results - page 1 / 160 » The Semantics of Abstract Program Slicing |
ASWEC
2005
IEEE
13 years 10 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...
SCAM
2008
IEEE
13 years 10 months ago
2008
IEEE
PLILP
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
SPE
2008
13 years 4 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
SCAM
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...