For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of St Andrews

Return to search Previous output Next output
Output 0 of 0 in the submission
Output title

Static Determination of Quantitative Resource Usage for Higher-Order Programs

Type
E - Conference contribution
Name of conference/published proceedings
POPL'10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Volume number
-
Issue number
-
First page of article
223
ISSN of proceedings
-
Year of publication
2010
URL
-
Number of additional authors
3
Additional information

<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.

Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
9
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-