Sciweavers

1011 search results - page 28 / 203
» Exception Analysis for Java
Sort
View
CJ
2010
139views more  CJ 2010»
13 years 5 months ago
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
Roberto Barbuti, Nicoletta De Francesco, Luca Tese...
WORDS
2002
IEEE
14 years 17 days ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
ICSE
1999
IEEE-ACM
13 years 12 months ago
Data Flow Analysis for Checking Properties of Concurrent Java Programs
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
ISSTA
2012
ACM
11 years 10 months ago
Cooperative types for controlling thread interference in Java
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac ...
PLDI
2010
ACM
14 years 22 days ago
An analysis of the dynamic behavior of JavaScript programs
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
Gregor Richards, Sylvain Lebresne, Brian Burg, Jan...