651 search results - page 61 / 131 » Precise Analysis of Java Programs Using JOANA |
140
Voted
RTA
2007
Springer
15 years 8 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
111
click to vote
JOT
2007
15 years 2 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
102
click to vote
SERP
2007
15 years 3 months ago
2007
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interf...
165
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
131
click to vote
PLDI
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...