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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3d6589e7b2c60444 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-10 20:32:32 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!out.nntp.be!propagator2-sterling!news-in.nuthinbutnews.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny01.gnilink.net.POSTED!53ab2750!not-for-mail From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4b) Gecko/20030419 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: employment with ada References: <626e8ae.0305011636.5e899da3@posting.google.com> <4mo7bvc2n70k6eikm3muu2965nbo3m77ov@4ax.com> <3EB415CB.6D97B14D@adaworks.com> <6Mcta.37135$D%4.20715@nwrdny03.gnilink.net> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Sun, 11 May 2003 03:32:30 GMT NNTP-Posting-Host: 162.84.205.197 X-Complaints-To: abuse@verizon.net X-Trace: nwrdny01.gnilink.net 1052623950 162.84.205.197 (Sat, 10 May 2003 23:32:30 EDT) NNTP-Posting-Date: Sat, 10 May 2003 23:32:30 EDT Xref: archiver1.google.com comp.lang.ada:37171 Date: 2003-05-11T03:32:30+00:00 List-Id: Chad R. Meiners wrote: > So when asking how this differs from a restricted subset of C, I would > speculate that the restricted C is MISRA-C. Praxis appears to have some > information on the differences between SPARK and MISRA-C at > http://www.sparkada.com/assent.html I wouldn't call it "information" if it's the PDF slide show that we're talking about. If MISRA-C were a person, then it would be an ad hominem attack - there's a lot of name calling, but no information about actual problems. It's just the usual C-hating screed. On the other hand, the sample set of rules for MISRA-C seem pretty silly to me - they mostly boil down to "program in C correctly" and many of them are checked by ordinary compilers.