Unification-based Pointer Analysis without Oversharing.

Jakub Kuderski Jorge A. Navas Arie Gurfinkel

Published in: FMCAD (2019)

Keyphrases

information systems
statistical analysis
data sets
computer vision
decision making
three dimensional
image analysis
control system
quantitative analysis
automatic analysis