72
Voted
SAS
1991
Springer
15 years 11 days ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...