6 search results - page 2 / 2 » TINMAN: A Resource Bound Security Checking System for Mobile... |
ESOP
2009
Springer
14 years 3 days ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...