Re: Worst Case Execution Time Tool?

[StationSteve <Steven.Suchting@computer.org>]

Of course.  Er, I mean sorry, I guess I should have said that I was looking for a
*practical* tool that could *productively* address a *real world* problem! ;-)
Steve S.

Ted Dennison wrote:

> In article <3C0E5927.5657963A@baesystems.com>, Stuart Palin says...
> >In more practical terms, this type of tool will typically constrain the
> >types of program that it will analyze.  Typically this might prohibit
> >recursion and demand upper limits for loops to be statically
> >determinable (either from the code or from annotations).  Such rarified
> >problems as the Halting Problem are hardly a consideration.
>
> Ah. So we aren't looking for something that can handle any old program (which it
> still seems to be would be reducable to the Halting Problem), but rather one
> that can handle programs that fit certian restrictions.
>
> ---
> T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
>
> No trees were killed in the sending of this message.
> However a large number of electrons were terribly inconvenienced.