Relational cost analysis

DOI10.1145/3009837.3009858MaRDI QIDQ5370869zbMATH OpenOpenAlexFDO

Authors Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3009837.3009858

zbMATH Keywords

complexity analysisrelational reasoningtype and effect systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Precise cost analysis via local reasoning
• Comparing cost functions in resource analysis
• More precise yet widely applicable cost analysis
• On the inference of resource usage upper and lower bounds
• Automatic Static Cost Analysis for Parallel Programs

Cited in

(10)

• A discounted cost relationship
• Certified abstract cost analysis
• Relational cost analysis in a functional-imperative setting
• Denotational semantics as a foundation for cost recurrence extraction for functional languages
• Precise cost analysis via local reasoning
• Comparing cost functions in resource analysis
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Semantic foundations for cost analysis of pipeline-optimized programs
• Typable fragments of polynomial automatic amortized resource analysis
• Worst-case input generation for concurrent programs under non-monotone resource metrics

This page was built for publication: Relational cost analysis

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