651 search results - page 42 / 131 » Precise Analysis of Java Programs Using JOANA |
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
150
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...
117
click to vote
RV
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
129
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
131
click to vote
SOCO
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, a diversity generating mechanism is proposed for an Evolutionary Programming (EP) algorithm that determines the basic structure of Multilayer Perceptron classifiers ...