[e-lang] Joe-E 2.0 Release
tyler.close at gmail.com
Sat Mar 8 23:59:23 EST 2008
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?
More information about the e-lang