A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java.

Alessandro Coglio

Published in: ACL2 (2018)

Keyphrases

programming language
code generator
open source
object oriented
byte code
java programs
source code
development environment
lightweight
web services
high level
automatically generated
java code
software components