6 search results - page 2 / 2 » Amortized Resource Analysis with Polynomial Potential - A St... |
160
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...