Static Dependent Costs for Estimating Execution Time (1994)

by B Reistag, D K Gifford
Venue:In ACM conference on Lisp and Functional Programming