Abstract Relational cost analysis aims at formally establishing bounds on the difference in evaluation costs of two programs. As a particular case, one can also use relational to establish same program different inputs. One way perform is type-and-effect system that supports reasoning about relations between executions Building this basic idea, we present system, called ARel, for relative (the ...
