Re: Computer beats Kasparov

[dewar@cs.nyu.edu (Robert Dewar)]

"As long as generated code is identical each time you compile the same
code, it doesn't matter if the code generator uses AI. We use an Ada
compiler to generate safety critical embedded SW and have seen
code generation errors with code generators using common optimization
techniques."

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).