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: f849b,d275ffeffdf83655 X-Google-Attributes: gidf849b,public X-Google-Thread: f5d71,d275ffeffdf83655 X-Google-Attributes: gidf5d71,public X-Google-Thread: 103376,d275ffeffdf83655 X-Google-Attributes: gid103376,public X-Google-Thread: 115aec,d275ffeffdf83655 X-Google-Attributes: gid115aec,public X-Google-Thread: 1108a1,d275ffeffdf83655 X-Google-Attributes: gid1108a1,public X-Google-Thread: 109fba,d275ffeffdf83655 X-Google-Attributes: gid109fba,public X-Google-Thread: 146b77,d275ffeffdf83655 X-Google-Attributes: gid146b77,public X-Google-Thread: 101b33,d275ffeffdf83655 X-Google-Attributes: gid101b33,public From: forsyth@caldo.demon.co.uk Subject: Re: Ada vs C++ vs Java Date: 1999/01/14 Message-ID: <916309035.24342.0.nnrp-09.c2decf94@news.demon.co.uk>#1/1 X-Deja-AN: 432487632 X-NNTP-Posting-Host: caldo.demon.co.uk:194.222.207.148 References: <369C9AD8.85E6A79A@concentric.net> <77jmjk$r7s$1@remarQ.com> X-Trace: news.demon.co.uk 916309035 nnrp-09:24342 NO-IDENT caldo.demon.co.uk:194.222.207.148 Newsgroups: comp.lang.ada,comp.lang.c++,comp.vxworks,comp.lang.java,comp.java.advocacy,comp.realtime,comp.arch.embedded,comp.object,comp.lang.java.programmer X-Complaints-To: abuse@demon.net Date: 1999-01-14T00:00:00+00:00 List-Id: David Frantz reads too much into the implications of an Ada compiler having passed the validation suite. In particular, it does not mean that `you can implement with the entire language and not have to worry about compiler technology catching up'. It is possible for compilers that produce wrong or costly code for many constructions to pass the validation suite. (For instance, one version of a widely used validated commercial compiler was found to miscompile certain Boolean expressions[!].) The only thing you can conclude is that the compiler passed the given version of the validation suite.