50 search results - page 2 / 10 » Static Analysis of Object References in RMI-Based Java Softw... |
126
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
145
Voted
APSEC
2001
IEEE
15 years 4 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...
97
Voted
ENTCS
2010
14 years 10 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
116
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
235
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...