From: bobduff@world.std.com (Robert A Duff)
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: <E3nG3v.CsE@world.std.com> (raw)
In-Reply-To: 5asvku$jtu$1@goanna.cs.rmit.edu.au
In article <5asvku$jtu$1@goanna.cs.rmit.edu.au>,
Richard A. O'Keefe <ok@goanna.cs.rmit.edu.au> wrote:
>I've been studying the 8051 recently.
>I've convinced myself that with the aid of one more pragma [%]
>an Ada *subset* can straightforwardly do everything that assembler
>can do.
How would this subset compare to the Ada subset embedded in SPARK?
>...I mean, we're talking
>about systems where the wire would be the most expensive part!
Then why bother using a high-level language at all? I mean, if the
software is small and cheap enough, then assembly works fine.
- Bob
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 [this message]
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
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