Injecting abstract interpretations into linear cost models

MaRDI QIDQ5151034zbMATH OpenFDO

Authors David Cachera, Arnaud Jobin

Publication date 16 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2010.5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Long-run cost analysis by approximation of linear operators over dioids
• Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
• scientific article; zbMATH DE number 1973222
• Certified abstract cost analysis
• Automatic inference of resource consumption bounds

Cited in

(4)

• Certified abstract cost analysis
• Long-run cost analysis by approximation of linear operators over dioids
• Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Injecting abstract interpretations into linear cost models

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