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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-06 10:44:18 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!headwall.stanford.edu!feeder.via.net!enews.sgi.com!newshub2.rdc1.sfba.home.com!news.home.com!news1.rdc1.sfba.home.com.POSTED!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) References: X-Newsreader: Tom's custom newsreader Message-ID: Date: Mon, 06 Aug 2001 17:44:17 GMT NNTP-Posting-Host: 24.7.82.199 X-Complaints-To: abuse@home.net X-Trace: news1.rdc1.sfba.home.com 997119857 24.7.82.199 (Mon, 06 Aug 2001 10:44:17 PDT) NNTP-Posting-Date: Mon, 06 Aug 2001 10:44:17 PDT Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: archiver1.google.com comp.lang.ada:11405 Date: 2001-08-06T17:44:17+00:00 List-Id: > If the people developing the library want compiler independence, they > have to put in some effort. Amen! In my experience with Claw, it takes a lot of time and effort, most of which has to do with particular compilers' deficiencies or outright bugs. And a compiler independent library doesn't particularly help an individual compiler vendor, so it's not very high on their priority list. It's generally better for them to work on things that distinguish their compiler from the field, rather than things that diminish its differences. It would be interesting to see what fraction of, say, the source code at www.adapower.com, is compiler independent.