Re: Efficiency of code generated by Ada compilers

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sat, 14 Aug 2010 12:47:27 +0200, Brian Drummond  
<brian_drummond@btconnect.com> a écrit:
> In a single cycle, one small corner of the Rekursiv would perform both  
> range
> checks and type checks,

Range check... and type check. Just real vs integer or was their some kind  
of typing in integers as well ? Also may be character, BCD and the like ?

> The entire  Rekursiv was
> about 70k gates + memory, next to a contemporary RISC of around 20-30k.

70 000 gates, that's light.

> There was much talk then of "bridging the semantic gap" between high  
> level
> languages and the low level operations in hardware.

Yes. This matter seems gone now, or else nobody care any more or else  
nobody believe in it any more.

Thanks for all of your testimony/account, was very interesting :)

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.