4469 search results - page 145 / 894 » Dynamic Program Slicing |
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
We formulate decomposition of two-dimensional shapes as a combinatorial optimization problem and present a dynamic programming algorithm that solves it.
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
SOFTVIS
2005
ACM
14 years 1 months ago
2005
ACM
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
SOFTVIS
2003
ACM
14 years 1 months ago
2003
ACM
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...