4725 search results - page 415 / 945 » Dependence-Based Program Analysis |
260
Voted
JCSC
1998
15 years 7 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
210
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
200
Voted
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
212
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
207
click to vote
ECLIPSE
2006
ACM
16 years 1 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...