Interpolation-based height analysis for improving a recurrence solver

DOI10.1007/978-3-642-32495-6_3MaRDI QIDQ3167525zbMATH OpenOpenAlexFDO

Authors Manuel Montenegro, Olha Shkaravska, Marko van Eekelen, Ricardo Peña

Publication date 2 November 2012

Published in Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32495-6_3

Mathematics Subject Classification ID

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

Recommendations

• More precise yet widely applicable cost analysis
• Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
• On the inference of resource usage upper and lower bounds
• Resource analysis of complex programs with cost equations
• Cost analysis of object-oriented bytecode programs

Describes a project that uses

Uses Software

• PPL
• REDLOG
• QEPCAD

This page was built for publication: Interpolation-based height analysis for improving a recurrence solver

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