From: johnscpg@googlemail.com
Subject: Re: Curiosity rover on Mars
Date: Thu, 30 Aug 2012 12:34:42 -0700 (PDT)
Date: 2012-08-30T12:34:42-07:00 [thread overview]
Message-ID: <1d5c566c-24cb-43a6-9e6a-4a3863ed73d1@googlegroups.com> (raw)
In-Reply-To: <k1o997$s5e$1@adenine.netfront.net>
>
> 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.
next prev parent reply other threads:[~2012-08-30 19:34 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-08 14:41 Curiosity rover on Mars Peter C. Chapin
2012-08-08 18:31 ` Jeffrey R. Carter
2012-08-09 5:23 ` Per Sandberg
2012-08-09 7:31 ` Dmitry A. Kazakov
2012-08-09 8:55 ` Nasser M. Abbasi
2012-08-09 15:37 ` Yannick Duchêne (Hibou57)
2012-08-10 20:32 ` Peter C. Chapin
2012-08-10 7:30 ` Charles H. Sampson
2012-08-30 11:27 ` Stephen Leake
2012-08-30 17:52 ` Jeffrey Carter
2012-08-30 19:34 ` johnscpg [this message]
2012-08-10 13:03 ` Nasser M. Abbasi
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox