64 search results - page 1 / 13 » Exception Analysis for Multithreaded Java Programs |
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
FUIN
2008
13 years 4 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
SCAM
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
VMCAI
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...