A Formally-Verified Alias Analysis.

Valentin Robert Xavier Leroy

Published in: CPP (2012)

Keyphrases

image processing
wide range
data analysis
machine learning
artificial intelligence
computer vision
multiscale
reinforcement learning
image analysis
knowledge discovery
data acquisition