From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ba6120170d8e7faf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-05 10:33:59 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!sjcppf01!usenetserver.com!newsfeeder.randori.com!out.nntp.be!propagator-SanJose!in.nntp.be!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison References: <3C0D536C.2E059EE8@computer.org> <0CdP7.48989$xS6.81382@www.newsranger.com> <3C0E5927.5657963A@baesystems.com> Subject: Re: Worst Case Execution Time Tool? Message-ID: X-Abuse-Info: When contacting newsranger.com regarding abuse please X-Abuse-Info: forward the entire news article including headers or X-Abuse-Info: else we will not be able to process your request X-Complaints-To: abuse@newsranger.com NNTP-Posting-Date: Wed, 05 Dec 2001 13:33:42 EST Organization: http://www.newsranger.com Date: Wed, 05 Dec 2001 18:33:43 GMT Xref: archiver1.google.com comp.lang.ada:17462 Date: 2001-12-05T18:33:43+00:00 List-Id: 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.