1011 search results - page 114 / 203 » Exception Analysis for Java |
RTA
2007
Springer
14 years 4 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a novel approach to extract structural information from source code using state-of-the-art parser technologies for natural languages. The parser technology is robust in...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...