27 search results - page 1 / 6 » Deriving a Slicing Algorithm via FermaT Transformations |
TSE
2011
13 years 1 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 11 months ago
2002
IEEE
SCAM
2003
IEEE
14 years 2 days 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
14 years 11 days 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
14 years 7 days 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...