CompCertO: compiling certified open C components.

Jérémie Koenig Zhong Shao

Published in: PLDI (2021)

Keyphrases

building blocks
software components
machine learning
face recognition
data sets
information retrieval
image processing
wide range
search algorithm
multi agent systems
special case
mobile robot
web applications
software systems