PEPM
2000
ACM
15 years 29 days ago
2000
ACM
PEPM
2000
ACM
15 years 29 days ago
2000
ACM
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 ...
67
Voted
PEPM
2000
ACM
15 years 29 days ago
2000
ACM
83
Voted
PEPM
2000
ACM
15 years 29 days ago
2000
ACM
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...
68
Voted
PEPM
2000
ACM
15 years 29 days ago
2000
ACM