Automatic Accurate Cost-Bound Analysis for High-Level Languages.

Yanhong A. Liu Gustavo Gomez

Published in: IEEE Trans. Computers (2001)

Keyphrases

high level
databases
high quality
low level
high accuracy
expressive power
automatic analysis
image analysis
worst case
estimation error
structural analysis
case study
fully automatic
highly accurate