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-Thread: 103376,58539c37894df295
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.90.102 with SMTP id bv6mr944422pab.34.1346355283162;
        Thu, 30 Aug 2012 12:34:43 -0700 (PDT)
Received: by 10.224.207.72 with SMTP id fx8mr3385832qab.2.1346355282967;
        Thu, 30 Aug 2012 12:34:42 -0700 (PDT)
Received: by 10.52.180.202 with SMTP id dq10mr1202236vdc.17.1346355282642;
 Thu, 30 Aug 2012 12:34:42 -0700 (PDT)
Path: 
 a5ni27412pbv.0!nntp.google.com!news2.google.com!r1no787884qas.0!news-out.google.com!da15ni8428836qab.0!nntp.google.com!r1no809971qas.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 30 Aug 2012 12:34:42 -0700 (PDT)
In-Reply-To: <k1o997$s5e$1@adenine.netfront.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=143.117.23.126;
 posting-account=Jzt5lQoAAAB4PhTgRLOPGuTLd_K1LY-C
NNTP-Posting-Host: 143.117.23.126
References: <nYadncRnja0c57_N4p2dnAA@giganews.com>
 <91c0b518-899a-473f-96f8-2df630094412@googlegroups.com>
 <85a9xcy5zr.fsf@stephe-leake.org> <k1o997$s5e$1@adenine.netfront.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1d5c566c-24cb-43a6-9e6a-4a3863ed73d1@googlegroups.com>
Subject: Re: Curiosity rover on Mars
From: johnscpg@googlemail.com
Injection-Date: Thu, 30 Aug 2012 19:34:42 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-08-30T12:34:42-07:00
List-Id: <comp.lang.ada>

> 
> The key word here is "possibly". If it's not mostly auto-generated, then it's in C.
> 
> If it is mostly auto-generated, I'd like to know what it was actually written in.
> 
> Jeff Carter
> 

The file  havelund.pdf  is relevant, (but doesn't answer
the question).  The address is:

http://compass.informatik.rwth-aachen.de/ws-slides

J.