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

Term Rewrite Systems

Select type of table:

Compare two systems
System 1: CoFloCo
System 2: PUBS
Filter yes no
Category Multiple recursion Non-tail recursion
Value yes no

Summary table:

Detailed table: