Sciweavers

5 search results - page 1 / 1
» pepm 2000
Sort
View
PEPM
2000
ACM
13 years 10 months ago
Symbolic Pointer Analysis for Detecting Memory Leaks
Bernhard Scholz, Johann Blieberger, Thomas Fahring...
29
Voted
PEPM
2000
ACM
13 years 10 months ago
From Recursion to Iteration: What are the Optimizations?
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
Yanhong A. Liu, Scott D. Stoller
PEPM
2000
ACM
13 years 10 months ago
Calculating Sized Types
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
Wei-Ngan Chin, Siau-Cheng Khoo