[e-lang] Joe-E 2.0 Release

[Tyler Close]

On Sat, Mar 8, 2008 at 6:10 PM, David Wagner <daw at cs.berkeley.edu> wrote:
>  Should we be concerned about the possibility that code could add an
>  @org.joe_e.verified annotation to itself without having been run through
>  the Joe-E verifier?  Or do you see a way to prevent that from happening?

How would this be different from Java code delivering itself with fake
safej files, other than being less voluminous?

--Tyler