Coq to C translation with partial evaluation.

Published in: PEPM@POPL (2021)

Keyphrases

partial evaluation
explanation based generalization
machine translation
data sets
artificial intelligence
xpath queries
prior knowledge
low level
domain theory
databases
decision trees
domain knowledge
theorem prover