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-Thread: 103376,aea4cc77526f5e4a X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news2.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps89.POSTED!023a3d7c!not-for-mail Sender: blaak@METROID Newsgroups: comp.lang.ada Subject: Re: Separate Compilation in Programming Languages References: <7xJvj.7420$Ru4.4246@newssvr19.news.prodigy.net> <1wkwj.10399$0o7.2971@newssvr13.news.prodigy.net> From: Ray Blaak Message-ID: Organization: The Transcend User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Fri, 29 Feb 2008 18:33:06 GMT NNTP-Posting-Host: 208.66.252.228 X-Trace: edtnps89 1204309986 208.66.252.228 (Fri, 29 Feb 2008 11:33:06 MST) NNTP-Posting-Date: Fri, 29 Feb 2008 11:33:06 MST Xref: g2news1.google.com comp.lang.ada:20156 Date: 2008-02-29T18:33:06+00:00 List-Id: writes: > The more I examine the evidence about Java, the more I realize it is not > dependable enough for the kind of systems where people's lives are at > stake. Therefore, I will, as noted earlier, recommend against the use of > Java for military systems where dependability is an issue, whenever I can. > > When we are required to apply engineering practices in the development of > computer software, neither C++ nor Java are sufficiently well-designed to > measure-up to a rigorous model of engineering. Ada also falls short in some > respects, but is not as bad as the alternatives. SPARK certainly comes > closer to satisfying engineering principles and practices. As of this > moment, there is no language that satisfies engineering as well as we might > like. But that does not justify using languages that are so flawed that an > engineer cannot depend on them to actually behave in predictable ways. In spite of my rooting for Java with regards to dependency control, I basically agree with the position of preferring Ada for rigorous environments. -- Cheers, The Rhythm is around me, The Rhythm has control. Ray Blaak The Rhythm is inside me, rAYblaaK@STRIPCAPStelus.net The Rhythm has my soul.