11 search results - page 2 / 3 » Constructing Accurate Application Call Graphs For Java To Mo... |
207
Voted
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
147
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
182
Voted
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
145
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
177
Voted
BMCBI
2005
15 years 5 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...