6960 search results - page 229 / 1392 » Continuity Analysis of Programs |
177
click to vote
JUCS
2007
15 years 6 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
144
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
166
click to vote
SSDBM
2006
IEEE
16 years 15 days ago
2006
IEEE
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
192
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
206
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...