Output details
11 - Computer Science and Informatics
University of St Andrews
Static Determination of Quantitative Resource Usage for Higher-Order Programs
<10>POPL is consistently ranked as the best or near best Computer Science publication venue and the paper has been cited extensively in the literature.
This ground-breaking paper describes a major new technical result, demonstrating how automatic analyses of resource bounds can be obtained for higher-order programs. The paper uses a complex type-based amortised analysis approach, representing the culmination of about five years of concentrated research effort as part of the EU-funded FP7 EmBounded project. This is one of the theoretical cornerstones that is necessary for functional languages to be deployed in resource-limited settings.