From: Ted Dennison<dennison@telepath.com>
Subject: Re: Worst Case Execution Time Tool?
Date: Wed, 05 Dec 2001 18:33:43 GMT
Date: 2001-12-05T18:33:43+00:00 [thread overview]
Message-ID: <aMtP7.49968$xS6.82805@www.newsranger.com> (raw)
In-Reply-To: 3C0E5927.5657963A@baesystems.com
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.
next prev parent reply other threads:[~2001-12-05 18:33 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-04 22:51 Worst Case Execution Time Tool? StationSteve
2001-12-05 0:10 ` Ted Dennison
2001-12-05 17:28 ` Stuart Palin
2001-12-05 18:33 ` Ted Dennison [this message]
2001-12-06 14:05 ` StationSteve
2001-12-06 16:40 ` Ted Dennison
2001-12-06 21:27 ` StationSteve
2001-12-06 22:44 ` Ted Dennison
2001-12-07 1:00 ` annonymous
2001-12-05 10:00 ` Rod Chapman
2001-12-05 14:54 ` StationSteve
2001-12-05 15:31 ` Jeffrey L. Susanj
2001-12-05 17:32 ` Stuart Palin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox