A Dependently Typed Framework for Static Analysis of Program Execution Costs

DOI10.1007/11964681_5MaRDI QIDQ3623950zbMATHOpenAlexFDO

Authors Edwin Brady, Kevin Hammond

Publication date 28 April 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11964681_5

Mathematics Subject Classification ID

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

Recommendations

• Type-based cost analysis for lazy functional languages
• Cost-sensitive diagnosis of declarative programs
• Automatic Static Cost Analysis for Parallel Programs
• Static semantics, types, and binding time analysis
• On the complexity analysis of static analyses
• A general framework for static cost analysis of parallel logic programs
• Semantic foundations for cost analysis of pipeline-optimized programs
• Automatic accurate cost-bound analysis for high-level languages
• Cost analysis of object-oriented bytecode programs

Describes a project that uses

Uses Software

• Coq
• LEGO
• Cayenne
• SAFL

This page was built for publication: A Dependently Typed Framework for Static Analysis of Program Execution Costs

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