[e-lang] An attack on a mint

Raoul Duke raould at gmail.com
Mon Mar 10 16:20:17 EDT 2008

>  First, I'd love to see REQUIRE or some such added for "precondition"
>  non-null checks. That's mostly an aside, though.

If I'm following what you mean, check out http://www.cs.ucf.edu/~leavens/JML/.


More information about the e-lang mailing list