Y is a lower bound on the size of argument X . The maximum size of the terms to which the argument Y is bound to is given by the expression Y . Y is a upper bound on the size of argument X . Y is a lower bound on the cost of any call of the form X . Y is a upper bound on the cost of any call of the form X .
X is pure, i.e., has no side-effects.
The variables in pairs in X are pairwise independent. X and Y do not have variables in common. Go to the first , previous , next , last section, table of contents .