Resource Analysis by Sup-interpretation

DOI10.1007/11737414_12MaRDI QIDQ3434631zbMATH OpenOpenAlexFDO

Authors Jean-Yves Marion, Romain Péchoux

Publication date 2 May 2007

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00000661v2/file/fullpaper.pdf

Mathematics Subject Classification ID

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

Recommendations

• Sup-interpretations, a semantic method for static analysis of program resources
• Quasi-interpretations. A way to control resources
• Synthesis of sup-interpretations: a survey
• Type-based amortized resource analysis with integers and arrays
• Static determination of quantitative resource usage for higher-order programs

Cited in

(11)

• Real or natural number interpretation and their effect on complexity
• On quasi-interpretations, blind abstractions and implicit complexity
• Sup-interpretations, a semantic method for static analysis of program resources
• Resource control graphs
• A Characterization of NC k by First Order Functional Programs
• Proving Quadratic Derivational Complexities Using Context Dependent Interpretations
• Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
• Automated Implicit Computational Complexity Analysis (System Description)
• CONCUR 2004 - Concurrency Theory
• Quasi-interpretations. A way to control resources
• A space consumption analysis by abstract interpretation

This page was built for publication: Resource Analysis by Sup-interpretation

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