ACE: An Automatic Complexity Evaluator

Daniel Le Métayer. ACE: An Automatic Complexity Evaluator. ACM Transactions on Programming Languages and Systems, 10(2):248-266, 1988. [doi]

Abstract

Abstract is missing.