>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. Considering DEXAN is/was empirical, and did not examine code, inputs, or outputs, I don't see where it really touches on the Halting Problem. DEXAN did/does state analysis, and makes decisions, but if I recall correctly, it actually doesn't kill a 'looping' job. Rather, it notifies somebody of a potential loop. By state analysis, I mean such things as staying in a certain part of the code, consuming CPU without doing any I/O, etc. It wasn't perfect, but I haven't seen the add-on since around 1989. - Too busy driving to stop for gas! ---------------------------------------------------------------------- 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
