Reasoning About LLVM Code Using Codewalker.

David S. Hardin

Published in: ACL2 (2015)

Keyphrases

source code
spatial reasoning
qualitative reasoning
code generation
formal theory
linux kernel
image processing
image segmentation
three dimensional
high level
artificial neural networks
data model
static analysis
error correcting