>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.
-
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

Reply via email to