Precise cost analysis via local reasoning

DOI10.1007/978-3-319-02444-8_23MaRDI QIDQ5166697zbMATH OpenOpenAlexFDO

Authors Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim

Publication date 8 July 2014

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• More precise yet widely applicable cost analysis
• Closed-form upper bounds in static cost analysis
• On the inference of resource usage upper and lower bounds
• Resource analysis of complex programs with cost equations
• Relational cost analysis

Cited in

(9)

• Closed-form upper bounds in static cost analysis
• Resource analysis of complex programs with cost equations
• More precise yet widely applicable cost analysis
• Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
• Relational cost analysis in a functional-imperative setting
• Analysis of executable software models
• Relational cost analysis
• On-screen real-time cost estimating
• Cost analysis of object-oriented bytecode programs

This page was built for publication: Precise cost analysis via local reasoning

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