A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java.

Alessandro Coglio

Published in: ACL2 (2022)

Keyphrases

open source
programming language
source code
object oriented
code generator
java programs
high level
development environment
byte code
real world
web applications
lightweight
data model
software engineering
case study
database applications
computer aided
automatically generated
databases
java virtual machine
database