773 search results - page 16 / 155 » Program Slicing by Calculation |
FAC
2006
13 years 11 months ago
2006
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...
CAD
1998
Springer
13 years 10 months ago
1998
Springer
• In several application fields, large sized, free-form objects of various soft materials are widely used. Available layered prototyping technologies cannot be applied for fabri...
SIGSOFT
2006
ACM
14 years 11 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
HASKELL
2007
ACM
14 years 2 months ago
2007
ACM
POPL
1995
ACM
14 years 2 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...