l i n u x - u s e r s - g r o u p - o f - d a v i s
Next Meeting:
July 7: Social gathering
Next Installfest:
Latest News:
Jun. 14: June LUGOD meeting cancelled
Page last updated:
2010 Apr 21 19:01

The following is an archive of a post made to our 'vox-tech mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
Re: [vox-tech] Loop variants should be integers!
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox-tech] Loop variants should be integers!

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

(Who's TA'ing a class on this right now.)
vox-tech mailing list

LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
O'Reilly and Associates
For numerous book donations.