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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,703c4f68db81387d X-Google-Thread: 109fba,703c4f68db81387d X-Google-Thread: 115aec,703c4f68db81387d X-Google-Thread: f43e6,703c4f68db81387d X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!f14g2000cwb.googlegroups.com!not-for-mail From: "Chad R. Meiners" Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: 29 Mar 2005 13:00:21 -0800 Organization: http://groups.google.com Message-ID: <1112130021.828043.278040@f14g2000cwb.googlegroups.com> References: <87r7iu85lf.fsf@insalien.org><1110052142.832650@athnrd02> <1110284070.410136.205090@o13g2000cwo.googlegroups.com> <395uqaF5rhu2mU1@individual.net> <1111607633.301232.62490@z14g2000cwz.googlegroups.com> <1111628011.160315.134740@o13g2000cwo.googlegroups.com> <1111732101.995662.309040@z14g2000cwz.googlegroups.com> <1111785256.454375.76600@l41g2000cwc.googlegroups.com> <1369131.HYMxOlSdZt@linux1.krischik.com> <1111868963.494133.291150@g14g2000cwa.googlegroups.com> <1111952485.639270.227910@g14g2000cwa.googlegroups.com> <1111989731.165537.24040@g14g2000cwa.googlegroups.com> NNTP-Posting-Host: 67.167.137.13 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: posting.google.com 1112130028 9222 127.0.0.1 (29 Mar 2005 21:00:28 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 29 Mar 2005 21:00:28 +0000 (UTC) In-Reply-To: <1111989731.165537.24040@g14g2000cwa.googlegroups.com> User-Agent: G2/0.2 Complaints-To: groups-abuse@google.com Injection-Info: f14g2000cwb.googlegroups.com; posting-host=67.167.137.13; posting-account=paoWPg0AAABe-C1bfTlsEbfoc5yNqKFn Xref: g2news1.google.com comp.lang.ada:10131 comp.lang.c++:47848 comp.realtime:1821 comp.software-eng:5459 Date: 2005-03-29T13:00:21-08:00 List-Id: Jerry Coffin wrote: >The point is that picking the language for that 70% seems to >take one choice in one list box -- i.e. the most utterly trivial amount >of work possible. What are you trying to say with this sentence? It seems devoid of any relavent information or meaning. >are you honestly suggesting that >it's particularly likely that they'd choose to generate C if they were >planning to write the remainder in Ada? Now I don't have to be pigeon holed into only that suggestion. There are more reasonable suggestions. For instance, they could be reusing libraries written in Ada for maybe 10% of the remaining code. Another 15% could use this libraries and thus be written in Ada. > I don't recall anybody here having suggested that SCADE is the be-all > and end-all of format tools. I never said you did. I was assuming that SCADE is a decent formal tool which implies that they use SCADE to generate a most complete subsystem that represented about 70% of the code base. >I drew exactly two conclusions: 1) that 100% minus 70% leaves 30%, and >2) that these _seem_ to be sufficiently large projects that 30% of them >still constitutes a substantial amount of code. Exactly two huh? What about >It seems likely to me that if >they were using Ada for the hand-written code, they'd generate Ada >as well. That looks like a conclusion to me. That sentence that you are misquoting applies to all you conclusions and implicit implications. Furthermore, if are calling > 100% minus 70% leaves 30% a conclusion as oppose to an assertion. One should expect that it was preceeded by an arguement or proof of some sort. Being that you didn't provide either, this "conclusion" is either a) actually an assertion and disqualified to be member of your "exactly two conclusions" or b) a conclusion that you jumped to by not providing an arguement to support it. And just for kicks > please expound on your form of math in which 100 minus 70 doesn't equal 30. when the numbers are in base 8 of course ;-)