Program analysis via efficient symbolic abstraction.

Peisen Yao Qingkai Shi Heqing Huang Charles Zhang

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

high level
learning algorithm
lightweight
real time
information retrieval
image processing
website
digital libraries
medical images
computationally expensive