64 search results - page 2 / 13 » Exception Analysis for Multithreaded Java Programs |
APLAS
2001
ACM
13 years 8 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
CONCURRENCY
2007
13 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...