A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2.

Alessandro Coglio

Published in: ACL2 (2022)

Keyphrases

code generator
natural language learning
code generation
natural language processing
automatically generated
end users
web applications
data management