From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: New GNAT ports (was Re: Ada and Automotive Industry)
Date: 1997/01/07
Date: 1997-01-07T00:00:00+00:00 [thread overview]
Message-ID: <dewar.852670542@merv> (raw)
In-Reply-To: E3nG3v.CsE@world.std.com
Robert Duff asks (about a possible 8051 subset)
How would this subset compare to the Ada subset embedded in SPARK?
not comparable at all. The SPARK subset is not only aimed at reducing
runtime complexity, but also at reducing certification effort. If you
are interested in reducing runtime costs, then you are concerned with
things that have code generation impact (for instance, floating-point
might be out of the question, but generic instantiation and child
packages are irrelevant).
But if you are interested in certification, then floating-point may be
fine if you can find an acceptable formal model for floating-point, but
you may well decide to eliminate generics and child units on the grounds
that the complicate the formal models without providing any fudnamental
increase in expressive power.
By fudnamental here, I mean that you can always do generics yourself if
you have to for example,
next prev parent reply other threads:[~1997-01-07 0:00 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-12-24 0:00 New GNAT ports (was Re: Ada and Automotive Industry) Robert Dewar
1996-12-27 0:00 ` New GNAT ports John Howard
1997-01-07 0:00 ` New GNAT ports (was Re: Ada and Automotive Industry) Richard A. O'Keefe
1997-01-07 0:00 ` Ken Garlington
1997-01-08 0:00 ` Richard A. O'Keefe
1997-01-08 0:00 ` Robert Dewar
1997-01-09 0:00 ` Richard A. O'Keefe
1997-01-11 0:00 ` Robert Dewar
1997-01-11 0:00 ` Addresses of Subprograms (was: New GNAT ports) Larry Kilgallen
1997-01-13 0:00 ` Larry Kilgallen
1997-01-14 0:00 ` Richard A. O'Keefe
1997-01-14 0:00 ` Fergus Henderson
1997-01-15 0:00 ` Richard Kenner
1997-01-09 0:00 ` New GNAT ports (was Re: Ada and Automotive Industry) Ken Garlington
1997-01-07 0:00 ` Robert Dewar
1997-01-08 0:00 ` Ken Garlington
1997-01-08 0:00 ` Richard A. O'Keefe
1997-01-08 0:00 ` Robert Dewar
1997-01-07 0:00 ` Robert A Duff
1997-01-07 0:00 ` Robert Dewar [this message]
1997-01-08 0:00 ` Richard A. O'Keefe
1997-01-09 0:00 ` Dr. Peter E. Obermayer
1997-01-08 0:00 ` Karl Cooper
1997-01-08 0:00 ` Robert Dewar
1997-01-09 0:00 ` Richard A. O'Keefe
1997-01-09 0:00 ` Robert Dewar
1997-01-09 0:00 ` Robert I. Eachus
1997-01-10 0:00 ` Robert I. Eachus
1997-01-11 0:00 ` Robert Dewar
1997-01-13 0:00 ` Richard A. O'Keefe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox