GNORT question (was Re: Are un-validated compilers unsafe?)

[Ada2001 <ada2001@my-dejanews.com>]

In article <7fv6cc$5eh$1@nnrp1.dejanews.com>,
  Robert Dewar <robert_dewar@my-dejanews.com> wrote:

> For GNAT, we have a product GNORT that has no run time
> at all. Again it is a small subset (the inspiration for
> the subset is the SPARK language from Praxis). A nice thing
> about this approach is that since there is no run-time,
> there is nothing to certify!

Since GNORT is a small subset of Ada 95, would that make it significantly
easier to build a cross-compiler to target simple 8/16 bit microcontrollers?

I know the topic of Ada for low-end micros has been discussed before in c.l.a
and that you see little market demand for it.  However if a SPARK-like subset
of Ada targeted at the popular Motorola M68HCXX, Atmel AVR, or the new
Microchip PIC18FXXX  architectures were available, I think many people would
welcome it as an alternative to C.

F. Britt Snodgrass

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own