From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Thu, 10 Jun 2010 21:01:17 +0300
Date: 2010-06-10T21:01:17+03:00 [thread overview]
Message-ID: <87cnjdFafdU1@mid.individual.net> (raw)
In-Reply-To: <4C1110AA.2090206@obry.net>
Pascal Obry wrote:
> Le 10/06/2010 14:52, Yannick Duchï¿œne (Hibou57) a ï¿œcrit :
>> Just a note: if it is SPARK, this is Ada too ;)
>
> Right, would be nice to know which Ada compiler will be used to generate
> the code for the target.
An earlier article on CubeSat (Ada User Journal, September 2008, page
213) says that they use(d) SofCheck's AdaMagic Ada-to-C compiler,
followed by Rowley Associates' CrossWorks C compiler.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2010-06-10 18:01 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-10 12:16 FYI -- Lunar lander project relies on SPARK programming language melampus
2010-06-10 12:52 ` Yannick Duchêne (Hibou57)
2010-06-10 16:19 ` Pascal Obry
2010-06-10 18:01 ` Niklas Holsti [this message]
2010-06-11 11:14 ` Colin Paul Gloster
2010-06-11 14:22 ` Peter C. Chapin
2010-06-11 14:34 ` (see below)
2010-06-12 12:12 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox