Didn't think it was news. 40+ years ago in grad school, a LISP program of mine was cancelled automatically on a 7094 for infinite looping. Total CPU time 0.7 seconds
-----Original Message----- From: Paul Gilmartin Sent: Wednesday, July 29, 2009 10:11 AM To: [email protected] Subject: Re: Enforcing CPU Time 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. ---------------------------------------------------------------------- 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
