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,WEIRD_PORT
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 109fba,304c86061dc69dba
X-Google-Attributes: gid109fba,public
X-Google-Thread: 103376,5cb36983754f64da
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-13 06:34:39 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!62.173.119.178!not-for-mail
From: Peter Amey <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada,comp.lang.c++
Subject: Re: No call for Ada (was Re: Announcing new scripting/prototyping
 language)
Date: Fri, 13 Feb 2004 14:34:38 +0000
Message-ID: <c0in9u$1879ce$1@ID-69815.news.uni-berlin.de>
References: <20040206174017.7E84F4C4114@lovelace.ada-france.org>
 <mailman.3.1076142690.295.comp.lang.ada@ada-france.org>
 <m3isij11u4.fsf_-_@insalien.org>
 <54759e7e.0402071124.322ea376@posting.google.com>
 <2460735.u7KiuvdgQP@linux1.krischik.com>
 <54759e7e.0402081525.50c7adae@posting.google.com>
 <m3fzdlyrh1.fsf@insalien.org>
 <MPG.1a93b9e1697e47b4989c8c@news.clspco.adelphia.net>
 <c0e5su$33j$1@titan.btinternet.com>
 <MPG.1a949d1f4c022540989c8f@news.clspco.adelphia.net>
 <c0esdi$63s$1@msunews.cl.msu.edu>
 <MPG.1a9555bd517ba66d989c91@news.clspco.adelphia.net>
 <c0h781$27a9$1@msunews.cl.msu.edu>
 <MPG.1a960be69bef079d989c9c@news.clspco.adelphia.net>
 <60bi0c.ppg.ln@skymaster>
NNTP-Posting-Host: 62.173.119.178
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.uni-berlin.de 1076682878 42182030 I 62.173.119.178 ([69815])
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
In-Reply-To: <60bi0c.ppg.ln@skymaster>
Xref: archiver1.google.com comp.lang.ada:5529 comp.lang.c++:19016
Date: 2004-02-13T14:34:38+00:00
List-Id: <comp.lang.ada>



Jean-Pierre Rosen wrote:
> "Jerry Coffin" <jcoffin@taeus.com> a �crit dans le message de news:MPG.1a960be69bef079d989c9c@news.clspco.adelphia.net...
> 
>>Second, you have to read through the (usually mind-bendingly horrible) C
>>it has produced to try to figure out what's going wrong.
> 
> The compiler in question is made by Sofcheck (http://www.sofcheck.com:5050), and they claim that it generates human-readable code.
> Tuck, are you here?
> 

Last time I spoke to Tuck he said he didn't follow c.l.a regularly.  The 
compiler does exist 'though.  We have had some good experiences using it 
with SPARK to target processors that don't have an Ada cross-compiler. 
Our Ada Europe paper "High Integrity Ada in a UML and C World" will 
reveal all.

Peter