特にjavaで、final Stringという書き方がある気がするのだが例示も上手く見つけられないし、だんだん不安になってくる。探してみるとちゃんとあって、antだとこういうコードが見つかったが。antと言われてもそんなにみんなピンとこないかもしれない。

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 ...