Resource analysis of complex programs with cost equations

DOI10.1007/978-3-319-12736-1_15MaRDI QIDQ2789051zbMATH OpenOpenAlexFDO

Authors Antonio Flores-Montoya, Reiner Hähnle

Publication date 26 February 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12736-1_15

Mathematics Subject Classification ID

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

Recommendations

• More precise yet widely applicable cost analysis
• On the inference of resource usage upper and lower bounds
• Closed-form upper bounds in static cost analysis
• SPEED: precise and efficient static estimation of program computational complexity
• Precise cost analysis via local reasoning

Cited in

(34)

• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• Comparing cost functions in resource analysis
• Inferring expected runtimes of probabilistic integer programs using expected sizes
• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• Analysing parallel complexity of term rewriting
• Closed-form upper bounds in static cost analysis
• A transformational approach to parametric accumulated-cost static profiling
• Run-time complexity bounds using squeezers
• On the inference of resource usage upper and lower bounds
• Lower runtime bounds for integer programs
• Proving termination through conditional termination
• A general framework for static profiling of parametric resource usage
• Interpolation-based height analysis for improving a recurrence solver
• Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
• From Jinja bytecode to term rewriting: a complexity reflecting transformation
• Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
• Complexity and resource bound analysis of imperative programs using difference constraints
• Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
• A transformational approach to resource analysis with typed-norms inference
• Cost analysis for an actor-based workflow modelling language
• scientific article; zbMATH DE number 7204445 (Why is no real title available?)
• Resource analysis driven by (conditional) termination proofs
• Certified abstract cost analysis
• On complexity bounds and confluence of parallel term rewriting
• Resource-usage-aware configuration in software product lines
• On the complexity of monitoring Orchids signatures, and recurrence equations
• Time analysis of actor programs
• Targeting completeness: automated complexity analysis of integer programs
• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free
• Termination analysis of programs with multiphase control-flow
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• More precise yet widely applicable cost analysis
• SPEED: precise and efficient static estimation of program computational complexity
• Precise cost analysis via local reasoning

This page was built for publication: Resource analysis of complex programs with cost equations

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