Experimental evaluation of Cost Analysis of Programs Based on the Refinement of Cost Relations

• Examples from Literature: Upper Bounds
• Examples from Literature: Upper Bounds
• Real World Examples Evaluation
  
• Challenging Loop Patterns Evaluation
  
• Functional Programs Evaluation
  
• Term Rewrite Systems Evaluation
  

Other Links:

• CoFloCo
• Web interface
• Older Experiments (FM16)