On Wed, 2010-04-21 at 17:48 -0700, Brian Lavender wrote:
> So, I am switching my loop variants ("i" in this case) to integers. Here
> is convincing evidence. ;-)
>
> http://archive.eiffel.com/doc/faq/variant.html
>
> I recently met a guy at SacJUG who lived next door to Bertrand Meyer! He
> said he might be able to convince him to come and speak here in the
> Sacramento Area. Would that be cool or what?!!!
>
> Of course, if I had used Eiffel for this program, I could have put an
> invariant condition on i, such that it is never less than zero greater
> than the number of elements in the array.
>
> brian
This requires that they be integers as opposed to floating point
numbers. It doesn't require that they be signed ints (as opposed to
unsigned).
--Ken
(Who's TA'ing a class on this right now.)
_______________________________________________
vox-tech mailing list
vox-tech@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox-tech
