Sciweavers

4469 search results - page 23 / 894
» Dynamic Program Slicing
Sort
View
SIGSOFT
2001
ACM
14 years 8 months ago
Using aspectC to improve the modularity of path-specific customization in operating system code
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
Yvonne Coady, Gregor Kiczales, Michael J. Feeley, ...
IEEEIAS
2007
IEEE
14 years 1 months ago
Metrics-based Evaluation of Slicing Obfuscations
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversar...
Anirban Majumdar, Stephen Drape, Clark D. Thombors...
FAC
2008
100views more  FAC 2008»
13 years 7 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
FAC
2006
79views more  FAC 2006»
13 years 7 months ago
A formal relationship between program slicing and partial evaluation
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation i...
David Binkley, Sebastian Danicic, Mark Harman, Joh...