Sciweavers

64 search results - page 1 / 13
» Exception Analysis for Multithreaded Java Programs
Sort
View
FUIN
2008
91views more  FUIN 2008»
13 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
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 ...
Erika Ábrahám, Frank S. de Boer, Wil...
SCAM
2002
IEEE
13 years 11 months ago
Visualization of Exception Propagation for Java Using Static Analysis
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...
Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her
VMCAI
2004
Springer
13 years 12 months ago
Applying Jlint to Space Exploration Software
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...
Cyrille Artho, Klaus Havelund
ICSE
2007
IEEE-ACM
14 years 6 months ago
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
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...
Chen Fu, Barbara G. Ryder