Automatic Accurate Time-Bound Analysis for High-Level Languages

This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters, optimizations to make the overall analysis e cient as well as accurate, and measurements of primitive parameters, all at the source-language level. We have implemented this approach and performed a number of experiments for analyzing Scheme programs. The measured worst-case times are closely bounded by the calculated bounds.

• Type: Conference
• Year: 1998
• Where: LCTRTS
• Authors: Yanhong A. Liu, Gustavo Gomez
• Keywords: Accurate Time-bound Analysis, Input Parameters, LCTRTS 1998, System Software, Time-bound Function