Re: An attack on a mint

"Raoul Duke" <[email protected]> Mon, 10 Mar 2008 13:20:17 -0700

Newsgroups	gmane.comp.lang.e.general
Message-ID	<[email protected]>

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

sincerely.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.