A Dependently Typed Framework for Static Analysis of Program Execution Costs

DOI10.1007/11964681_5zbMATH Open1236.68045OpenAlexW1526824128MaRDI QIDQ3623950FDOQ3623950

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

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

Mathematics Subject Classification ID

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

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)