Re: example of machine generated Ada ?

[Paul Rubin <no.email@nospam.invalid>]

Patrick <patrick@spellingbeewinnars.org> writes:
> Several languages use C as an intermediate language but hand written C
> is hard to read and machine generated is even more painful. Ada might
> make for reliable, readable machine generated code.

Pardon the response to a >1 year old post but ImProve can do this:

    https://github.com/tomahawkins/improve

Blurb from page:

    ImProve is an imperative programming language embedded in Haskell
    for high assurance applications. ImProve uses infinite state,
    unbounded model checking to verify programs adhere to
    specifications. Yices (required) is the backend SMT solver.

    ImProve compiles to C, Ada, Simulink, and Modelica for
    implementation and system simulation.

I've played with it a little bit and also with the author's other
language, Atom.