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 20 20:38

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 4/20/10 7:44 PM, Brian Lavender wrote:
> Thus, I am thinking that the compiler could catch this due to the
> fact that i is unsigned. I wanted to print out the reverse of an
> array.

The problem with this is two-fold.  First, writing a loop that may never 
terminate isn't necessarily a bug -- consider any daemon process. 
Second, determining whether or not a loop terminates is, in general, 
undecidable.  Therefore, it is fundamentally impossible to create a 
compiler that could make this determination for all possible programs.

... back to dreaming that computers knew what I wanted, rather than what 
I've instructed them to do...

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.