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,1116ece181be1aea X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-09 01:32:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!62.173.119.178!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: Is the Writing on the Wall for Ada? Date: Tue, 09 Sep 2003 09:36:54 +0100 Message-ID: <3F5D9126.2080908@praxis-cs.co.uk> References: <9keolvs9tjbbbuv1ndnsr69af7mtddemhk@4ax.com> NNTP-Posting-Host: 62.173.119.178 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1063096370 20809357 62.173.119.178 (16 [69815]) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:42313 Date: 2003-09-09T09:36:54+01:00 List-Id: Alexander Kopilovitch wrote: > Dmitry A. Kazakov wrote: [snip] > > Why take all the mess and inefficiency of that JVM? Why not use Ada-to-C > translation step? As far as I understand, the SofCheck has and can supply > you that technology/toolset. And you may tell your customers that this is > simply a great way to achive both goodies in one bottle: good high-level OO > language for development and maintenance, and at the same time fashionable > restricted C for deployment on targets. Yes! And if the source is SPARK, and you have done a proof of exception freedom you get the added bonus that the mapping from Ada (the design language) to C (the portable intermediate language) is extremely transparent and reviewable. The two step process makes object code verfication much simpler as well. Peter