172 search results - page 19 / 35 » Precise Analysis of Memory Consumption using Program Logics |
151
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
131
Voted
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
136
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
116
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
120
click to vote
PLDI
1999
ACM
15 years 9 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...