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 23 07:27

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 never exits!
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox-tech] loop never exits!

On Thu, Apr 22, 2010 at 09:15:10AM -0700, Brian Lavender wrote:
> On Thu, Apr 22, 2010 at 09:03:23AM -0500, Chanoch (Ken) Bloom wrote:
> > 
> > The following idiom must be used instead:
> > 
> > int* iterator=thearray+itssize;
> > while( iterator-- > thearray){
> >   /* do something with the iterator. */
> > }
> > 
> Very nice. If we had a "Hoare" karma point, I would definitely
> think that this deserves one. 
> Trivia question. 
> What is the link between Charles Hoare and Bertrand Meyer?

Thanks to everyone for their help on this thread. The input certainly
has been helpful and if anything has been a catalyst to consider various
aspects of my code and programming. I am once again one step closer to
finishing my MS Project, assuming the project will eventually terminate!

So, Bertrand Meyer developed Design by Contract, or perhaps coined the
term. It is one of the foundations of Eiffel. 

And, Tony Hoare developed Hoare Logic which can be defined by the
triple {P} C {Q} where P is the set of preconditions,  Q is the set of
postconditions, and C is the set of commands. Using Axioms and inference
rules, one can prove his code correct. This of course proves partial
correctness. For total correctness, one needs to prove termination. So,
the link is that the precondition is {P} in Eiffel and {Q} is the post

I took Formal Methods with Dr. Cui Zhang last semester at Sac State,
so this stuff is fresh in my head, assuming I got it right.

Brian Lavender

"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."

Professor C. A. R. Hoare
The 1980 Turing award lecture
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.