4716 search results - page 131 / 944 » Iterative-free program analysis |
SERP
2007
14 years 11 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...
ICCL
1992
IEEE
15 years 2 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
100
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
APLAS
2005
ACM
14 years 12 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
GPEM
2008
14 years 9 months ago
2008
The coauthorship and coeditorship relations as recorded in the genetic programming bibliography provide a quantitative view of the GP community. Eigen analysis is used to find the ...