CompCertELF: verified separate compilation of C programs into ELF object files.

Yuting Wang Xiangzhe Xu Pierre Wilke Zhong Shao

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

Keyphrases

object model
complex objects
d objects
databases
computer programs
object level
database
data objects
operating system
file transfer
programs written
deformable objects
file system
single image
source code
moving objects
object recognition
face recognition
image segmentation
case study
metadata
real time