From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Genode implements zero-footprint runtime for Ada and SPARK
Date: Thu, 26 Nov 2009 07:45:51 -0800 (PST)
Date: 2009-11-26T07:45:51-08:00 [thread overview]
Message-ID: <27f0ef90-551e-4e45-b736-b3b538977066@b2g2000yqi.googlegroups.com> (raw)
In-Reply-To: 55557e31-238b-4aa1-b184-9a31de5c5045@e27g2000yqd.googlegroups.com
AdaMagica wrote on comp.lang.ada:
> Hm, later on this page it says "Elaboration is not performed". How can
> then Ada code work at all?
By restricting the compilation units in the program to only Pure and
Preelaborated units, I suppose.
--
Ludovic Brenta.
next prev parent reply other threads:[~2009-11-26 15:45 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-26 9:18 Genode implements zero-footprint runtime for Ada and SPARK Ludovic Brenta
2009-11-26 10:10 ` Peter Hermann
2009-12-23 13:52 ` please ignore Peter Hermann
2009-11-26 14:08 ` Genode implements zero-footprint runtime for Ada and SPARK AdaMagica
2009-11-26 15:45 ` Ludovic Brenta [this message]
2009-11-26 15:47 ` nfeske
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox