Static Analysis of Resource Usage Bounds for Imperative Programs.

Liqian Chen Taoqing Chen Guangsheng Fan Banghu Yin

Published in: APSEC (2021)

Keyphrases

static analysis
resource usage
imperative programs
resource management
dynamic analysis
resource allocation
source code
resource consumption
dynamic logic
lower bound
real time
regular expressions
databases
database
high level
test suite