On Wed, 29 Jul 2009 16:59:11 +0000, Ted MacNEIL wrote:
>>Couldn't someone write some sort of automated analyzer to examine the code
>>and determine whether it's in an infinite loop or will
>ultimately terminate?
>
>DEXAN (OmegaMon) used to be able to do that.
>I've not seen that add-on for years, so I don't know if it still exists.
>-
And there I thought I was joking:
http://en.wikipedia.org/wiki/Halting_problem
I'm glad to see someone stepped up and showed Alan Turing wrong.
-- gil
----------------------------------------------------------------------
For IBM-MAIN subscribe / signoff / archive access instructions,
send email to [email protected] with the message: GET IBM-MAIN INFO
Search the archives at http://bama.ua.edu/archives/ibm-main.html
