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

These are the results of the experimental evaluation performed in the PhD thesis:
Cost Analysis of Programs Based on the Refinement of Cost Relations
The experiments are divided in the following categories:

• 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
  

You can also download the complete results in compressed format.

Other Links:

• CoFloCo
• Web interface
• Older Experiments (FM16)