Re: Ada to C translator for small microcontrollers

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 21.05.12 12:35, kalvin.news@gmail.com wrote:
> I found this paper "No Assembly Required: Compiling Standard ML to C" which presents some ideas and experience in using the C as compiler target language.
> 
> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.70.154&rep=rep1&type=pdf
> 
> The Standard ML differs quite a lot from C, and "The generated code achieves an execution speed that is about a factor of two slower than a native code compiler". However, as Ada is closer to C, the resulting overhead is supposed be less. Also, implementing only a carefully selected subset of Ada language might help in creating better translation to target C language.

ATS, which adds linear types and proofs to ML (not that I really
know what linear types are, except that they are not ref types
like those for scalars in ML), uses C a a target language too,
and is about as fast, or faster.

Eiffel also generates C; there is a GPL edition of
the compiler. Don't know whether it is suitable
for �Controllers, though.