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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,48942bcd105c88c6 X-Google-Attributes: gid103376,public From: l117593@cliffy.lfwc.lockheed.com (Cordes MJ) Subject: Re: Computer beats Kasparov Date: 1996/02/26 Message-ID: <4gt4hv$m03@cliffy.lfwc.lockheed.com>#1/1 X-Deja-AN: 141265338 references: <4g29e2$ea0$1@mhadg.production.compuserve.com> <4gmbdi$rib@toads.pgh.pa.us> <4gqufh$m71@cliffy.lfwc.lockheed.com> organization: Lockheed Martin Tactical Aircraft Systems newsgroups: comp.lang.ada Date: 1996-02-26T00:00:00+00:00 List-Id: Robert Dewar (dewar@cs.nyu.edu) wrote with deletions: : Well the issue of whether the code generator "uses AI" (whatever the : heck that might mean) is a red herring. : The issue is whether the code generated is "reviewable" in the sens : of annex H of the RM. Achieving reviewability may involve inhibiting : some optiizations (regardless of how they are done). "Reviewable" in the sense of annex H of the RM will help identify areas in the generated code where the implementation has done something worthy of "inspection" (e.g., run-time checks and calls to run-time support routines). However, it really doesn't say anything about the correctness of the code (i.e., generated code). As for inhibiting optimizations, I can't afford to turn off optimizations (e.g., code hoisting techniques) simply to make my Ada/assembly interspersed listing easier to read. Although supporting "reviewable" greatly improves our ability to identify unsafe code, the proof that a program is actually safe still requires tests on the execution of the code. In any event, your first statement is true, it does not matter if the code was generated by Deep Blue, one of todays CGs, or by hand. Reviewability (and I'll include testability in this) is the issue. -- --------------------------------------------------------------------- Michael J Cordes Phone: (817) 935-3823 Fax: (817) 935-3800 EMail: CordesMJ@lfwc.lockheed.com ---------------------------------------------------------------------