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,3a4656a5edc0dab4 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!newsfeed.stanford.edu!news.isc.org!sjc1.usenetserver.com!news.usenetserver.com!pd7cy2so!pd7cy1no!shaw.ca!border1.nntp.ash.giganews.com!border2.nntp.ash.giganews.com!nntp.giganews.com!elnk-atl-nf1!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread3.news.atl.earthlink.net.POSTED!d9c68f36!not-for-mail Message-ID: <40A21D65.7050806@noplace.com> From: Marin David Condic User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada used in General Aviation (GA) applications? References: <409F69CB.8020604@noplace.com> <2geb04F1pte3U1@uni-berlin.de> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Wed, 12 May 2004 12:50:03 GMT NNTP-Posting-Host: 165.247.65.10 X-Complaints-To: abuse@earthlink.net X-Trace: newsread3.news.atl.earthlink.net 1084366203 165.247.65.10 (Wed, 12 May 2004 05:50:03 PDT) NNTP-Posting-Date: Wed, 12 May 2004 05:50:03 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: controlnews3.google.com comp.lang.ada:486 Date: 2004-05-12T12:50:03+00:00 List-Id: The "Compile Ada to C then compile C to the target..." approach has been enormously popular and successful, hasn't it? :-) Nobody wants to use two compilers, nobody wants to cobble the whole mess together and nobody wants to fight all the rest of the development tools that will be targeted to C. The whole argument amounts to "Go out and spend lots of extra money, take lots of extra time and go through lots of extra pain in order to have the *privilege* of programming your little board in Ada - all for a job that might only involve a couple of guys for a few months." It has not sold well and I doubt it ever will. Ada is either right there on the shelf with an embedded development kit or the embedded guys go elsewhere. MDC Peter Amey wrote: > > There might not be general Ada solutions for these processors but there > a SPARK one. Because SPARK is designed to require little or no run-time > library support it is possible to design and analyse in SPARK and then > compile to C en route to running on small processors. The translation > is simple because SPARK in unambiguous and because issues like array > bounds violation have all been dealt with and eliminated at the SPARK > design level. I am presenting a paper on this at Ada Europe this year. > > Peter > -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jsf.mil/NSFrames.htm Send Replies To: m o d c @ a m o g c n i c . r "Face it ladies, its not the dress that makes you look fat. Its the FAT that makes you look fat." -- Al Bundy ======================================================================