From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: Spark and the Ada numerics annex
Date: Tue, 10 Aug 2010 03:18:53 -0700 (PDT)
Date: 2010-08-10T03:18:53-07:00 [thread overview]
Message-ID: <16833c47-5ba5-4a1d-b92f-6375e9275322@h32g2000yqm.googlegroups.com> (raw)
In-Reply-To: 064d3276-769c-46f7-9590-77a90af589cb@t20g2000yqa.googlegroups.com
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
next prev parent reply other threads:[~2010-08-10 10:18 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 [this message]
2010-08-10 10:53 ` Ada novice
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