773 search results - page 32 / 155 » Program Slicing by Calculation |
SPE
2008
15 years 15 days ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
87
Voted
SFP
2004
15 years 1 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
ORL
1998
15 years 7 days ago
1998
We present algorithms to calculate the stability radius of optimal or approximate solutions of binary programming problems with a min sum or min max objective function. Our algori...
103
Voted
SIGSOFT
1995
ACM
15 years 4 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
93
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...