651 search results - page 48 / 131 » Precise Analysis of Java Programs Using JOANA |
142
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
109
click to vote
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
252
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
154
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Java performance is far from being trivial to benchmark because it is affected by various factors such as the Java application, its input, the virtual machine, the garbage collect...
108
Voted
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...