1452 search results - page 80 / 291 » Algorithmic Analysis of Array-Accessing Programs |
108
click to vote
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
108
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
114
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The crossover bias theory for bloat [18] is a recent result which predicts that bloat is caused by the sampling of short, unfit programs. This theory is clear and simple, but it ...
111
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
189
click to vote
POPL
2007
ACM
16 years 19 days ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...