www.cs.utexas.edu

Atj-shallow-quoted-constant-generation

Representation of quoted constants in the shallow embedding. In the shallow embedding approach, each quoted constant in the ACL2 code is translated to a Java static final field that is calculated once ...