169 search results - page 11 / 34 » A Type Graph Model for Java Programs |
170
click to vote
CPE
1994
Springer
15 years 6 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
162
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
114
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
122
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
114
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...