Login / Signup
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).
Banghu Yin
Liqian Chen
Ji Wang
Published in:
计算机科学 (2015)
Keyphrases
</>
data structure
case study
image analysis
statistical analysis
database
three dimensional
sensitivity analysis
quantitative analysis
answer sets
floating point