From: Ada novice <ycalleecharan@gmx.com>
Subject: Re: Spark and the Ada numerics annex
Date: Tue, 10 Aug 2010 03:53:01 -0700 (PDT)
Date: 2010-08-10T03:53:01-07:00 [thread overview]
Message-ID: <fd1a6c95-8c93-4091-97cb-24727ec87abd@w30g2000yqw.googlegroups.com> (raw)
In-Reply-To: 16833c47-5ba5-4a1d-b92f-6375e9275322@h32g2000yqm.googlegroups.com
On Aug 10, 12:18 pm, Rod Chapman <roderick.chap...@googlemail.com>
wrote:
> You can create a "shadow" specification of the various Numerics
> packages to get at their facilities. See section 13.1 of the book
> on Shadows.
> - Rod, SPARK Team
Thanks for this information. I don't have the book yet and I have been
looking only at the first chapter which is freely available. I'll
study this section when I get the book.
YC
next prev parent reply other threads:[~2010-08-10 10:53 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-10 8:48 Spark and the Ada numerics annex Ada novice
2010-08-10 10:18 ` Rod Chapman
2010-08-10 10:53 ` Ada novice [this message]
2010-08-10 11:40 ` Yannick Duchêne (Hibou57)
2010-08-10 12:09 ` Yannick Duchêne (Hibou57)
2010-08-10 12:28 ` Ada novice
2010-08-10 13:04 ` Yannick Duchêne (Hibou57)
2010-08-10 13:57 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox