TY  - RPRT
TI  - A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java
AU  - Alessandro Coglio
PY  - 2018
DO  - 10.4204/eptcs.280.1
UR  - https://arxiv.org/abs/1810.04308
ID  - 1810.04308
ER  -