Indexed labels for loop iteration dependent costs

MaRDI QIDQ4992521zbMATH OpenFDO

Authors Paolo Tranquilli

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1306.2692, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2013.2

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Certifying and Reasoning on Cost Annotations of Functional Programs
• On the inference of resource usage upper and lower bounds
• Certified complexity (CerCo)
• Iteration and labelled iteration
• Certified abstract cost analysis

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Indexed labels for loop iteration dependent costs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4992521)