A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert.

Gilles Barthe Delphine Demange David Pichardie

Published in: ESOP (2012)

Keyphrases

neural network
real time
real world
genetic algorithm
artificial intelligence
computer vision
image segmentation
search algorithm
pattern recognition
control system
data preprocessing