Improvements to a resource analysis for Hume (2009)

by H-W Loidl, S Jost
Venue:In FOPARA ’09: Intl. Workshop on Foundational and Practical Aspects of Resource Analysis, LNCS 6324