27 search results - page 1 / 6 » Deriving a Slicing Algorithm via FermaT Transformations |
TSE
2011
12 years 11 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)...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
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...
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...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...