From: "Dr. Peter E. Obermayer" <obermaye@cci.de>
Subject: Re: New GNAT ports (was Re: Ada and Automotive Industry)
Date: 1997/01/09
Date: 1997-01-09T00:00:00+00:00 [thread overview]
Message-ID: <32D523A8.4685@cci.de> (raw)
In-Reply-To: 5avf6k$idr$1@goanna.cs.rmit.edu.au
Richard A. O'Keefe wrote:
>
> >Richard A. O'Keefe <ok@goanna.cs.rmit.edu.au> wrote:
> >I've been studying the 8051 recently.
> >I've convinced myself that ... an Ada *subset* can straightforwardly
> >do everything that assembler can do.
>
> bobduff@world.std.com (Robert A Duff) writes:
> >How would this subset compare to the Ada subset embedded in SPARK?
>
> I haven't yet found out what the SPARK subset is.
Look at
http://www.praxis.co.uk/technols/spark/sp_lang.htm#rationale
... lots of other things deleted
>
> --
> My tertiary education cost a quarter of a million in lost income
> (assuming close-to-minimum wage); why make students pay even more?
> Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.
--
_/_/_/ _/_/_/ _/_/_/ Dr. Peter E. Obermayer
_/ _/ _/ Tel.: (05931) 805-163
_/ _/ _/ Lohberg 10 Fax: (05931) 842-163
_/_/_/ _/_/_/ _/_/_/ D-49716 Meppen E-Mail: obermayer@cci.de
next prev parent reply other threads:[~1997-01-09 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 A Duff
1997-01-07 0:00 ` Robert Dewar
1997-01-08 0:00 ` Richard A. O'Keefe
1997-01-09 0:00 ` Dr. Peter E. Obermayer [this message]
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-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