From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: Re: Ada compiler differences
Date: 20 Oct 2004 01:02:48 -0700
Date: 2004-10-20T01:02:48-07:00 [thread overview]
Message-ID: <cf2c6063.0410200002.7d8f4228@posting.google.com> (raw)
In-Reply-To: dac02c02.0410180447.1a4ed08b@posting.google.com
koma@lysator.liu.se (Magnus) wrote in message news:<dac02c02.0410180447.1a4ed08b@posting.google.com>...
> Or rather: how can I write code that really is platform (and compiler)
> independent in Ada?
Write the code in SPARK, which has only 2 known implementation-defined
features - the range of predefined base types (which can be added
by way of annotations), and the finer details of floating point
(signed zeros, rounding mode etc.)
Example: the port of the SPARK Examiner (written in SPARK of course...)
from Solaris to Linux took...about 20 minutes, most of which was
spent installing GNAT. The Examiner is about 70kloc, so hardly
a trivial program.
- Rod
next prev parent reply other threads:[~2004-10-20 8:02 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-18 12:47 Ada compiler differences Magnus
2004-10-18 14:01 ` Jacob Sparre Andersen
2004-10-18 18:31 ` Luke A. Guest
2004-10-18 19:55 ` Nick Roberts
2004-10-19 20:52 ` Luke A. Guest
2004-10-20 1:16 ` Jeffrey Carter
2004-10-18 21:03 ` Martin Dowie
2004-10-19 2:11 ` Jeffrey Carter
2004-10-18 20:36 ` Nick Roberts
2004-10-18 21:48 ` Mark H Johnson
2004-10-19 14:49 ` Larry Kilgallen
2004-10-19 20:32 ` Mark H Johnson
2004-10-20 16:48 ` Warren W. Gay VE3WWG
2004-10-21 13:54 ` Larry Kilgallen
2004-10-21 20:57 ` Warren W. Gay VE3WWG
2004-10-21 21:05 ` Mark H Johnson
2004-10-26 15:23 ` Larry Kilgallen
2004-10-26 21:21 ` Mark H Johnson
2004-10-27 4:39 ` Larry Kilgallen
2004-10-27 13:49 ` Mark H Johnson
2004-10-20 8:02 ` Rod Chapman [this message]
2004-10-21 13:55 ` Larry Kilgallen
2004-10-22 8:13 ` Rod Chapman
-- strict thread matches above, loose matches on Subject: below --
2004-10-20 1:32 Stephen Leake
2004-10-20 5:47 ` Simon Wright
2004-10-26 0:28 ` Randy Brukardt
2004-10-20 13:05 Stephen Leake
2004-10-20 17:17 ` Nick Roberts
2004-10-20 19:44 ` Simon Wright
2004-10-21 21:02 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox