example of machine generated Ada ?

example of machine generated Ada ?

[Patrick]

Hi Everyone

I am just daydreaming about generating Ada from another language.

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.

Thanks-Patrick

Re: example of machine generated Ada ?

[Robert Love]

On 2013-10-02 17:37:04 +0000, Patrick said:

> Hi Everyone
> 
> I am just daydreaming about generating Ada from another language.
> 
> 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.
> 
> Thanks-Patrick

There was a product in the 90s called Matrixx, it let you draw flow 
charts and type in algorithms and drag connections between components 
your created graphically.  You pushed the button and out popped some of 
the ugliest Ada you can imagine.  My point is you can have code 
generators but there is no guarantee of the quality, readablity or 
maintainablity.

Re: example of machine generated Ada ?

[Simon Wright]

Patrick <patrick@spellingbeewinnars.org> writes:

> I am just daydreaming about generating Ada from another language.
>
> 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.

It depends on the aims of the person/organisation that develops the code
generator. My aims in ColdFrame[1], which amongst other things generates
package specs that users might need to look at, included that the
generated code should look as if it had been written by a human - and
should compile without warnings, especially style warnings. I see that I
actually suppress style warnings, but as I recall this was only because
users insisted on using very long names and in consequence I couldn't
avoid long lines. Perhaps I should revisit this now that GNAT allows
finer control? - no, it only allows you to switch particular style
checks off for specific entities, the non-specific form only allows
adding checks.

[1] https://sourceforge.net/projects/coldframe/

Re: example of machine generated Ada ?

[Niklas Holsti]

On 13-10-03 07:10 , Robert Love wrote:
> On 2013-10-02 17:37:04 +0000, Patrick said:
> 
>> Hi Everyone
>>
>> I am just daydreaming about generating Ada from another language.
>>
>> 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.
>>
>> Thanks-Patrick
> 
> There was a product in the 90s called Matrixx, it let you draw flow
> charts and type in algorithms and drag connections between components
> your created graphically.  You pushed the button and out popped some of
> the ugliest Ada you can imagine.  My point is you can have code
> generators but there is no guarantee of the quality, readablity or
> maintainablity.

If I remember correctly, the motivation for including a goto statement
in Ada was that automatic code generators might need it. This perhaps
shows what kind of code was expected from such generators...

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .

Re: example of machine generated Ada ?

[gautier_niouzes]

Actually, as you guess, you get plenty of advantages for free with machine-generated code: strong typing, type safety of enumerated types, data completeness etc.
You can generate from various sources.
In my hobby projects on Sourceforge, I have code generators from VRML, Doom 3 universes, Windows resources for instance.
Professionally I have moved many "invariant" data from databases into Ada sources.
The perfoermance and maintability gains are tremendous.
G.

Re: example of machine generated Ada ?

[Marius Amado-Alves]

Example generator that creates a (readable) thin binding to a C library:

http://sourceforge.net/p/aquaterm/git/ci/master/tree/adapters/ada/dump_c_interface.adb

Re: example of machine generated Ada ?

[Patrick]

Thanks everyone

I just wanted to add that Ada is so feature rich that there are likely few constructs in other languages that cannot be mapped to it. Furthermore it is high performance and the emitted code could be tied in with hand written code later

Re: example of machine generated Ada ?

[Randy Brukardt]

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyr4c2ud2k.fsf@pushface.org...
> Patrick <patrick@spellingbeewinnars.org> writes:
>
>> I am just daydreaming about generating Ada from another language.
>>
>> 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.
>
> It depends on the aims of the person/organisation that develops the code
> generator. My aims in ColdFrame[1], which amongst other things generates
> package specs that users might need to look at, included that the
> generated code should look as if it had been written by a human - and
> should compile without warnings, especially style warnings. I see that I
> actually suppress style warnings, but as I recall this was only because
> users insisted on using very long names and in consequence I couldn't
> avoid long lines. Perhaps I should revisit this now that GNAT allows
> finer control? - no, it only allows you to switch particular style
> checks off for specific entities, the non-specific form only allows
> adding checks.
>
> [1] https://sourceforge.net/projects/coldframe/

The Claw GUI builder had similar goals for the generated code. It looks 
pretty similar to the code I would have written by hand (partially because 
that's how it came to be, I wrote the generator to write code similar to the 
known working examples). 
http://www.rrsoftware.com/html/prodinf/claw/claw.htm

OTOH, if you have an abstraction inversion (say, taking compiler 
intermediate code and turning it into Ada), you're probably not going to get 
very understandable Ada. So it obviously depends on the generator and the 
goals.

                              Randy.

Re: example of machine generated Ada ?

[Simon Wright]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> It looks pretty similar to the code I would have written by hand
> (partially because that's how it came to be, I wrote the generator to
> write code similar to the known working examples).

My process too!

Re: example of machine generated Ada ?

[Martin]

On Thursday, October 3, 2013 7:14:33 AM UTC+1, Niklas Holsti wrote:
> On 13-10-03 07:10 , Robert Love wrote:
> 
> > On 2013-10-02 17:37:04 +0000, Patrick said:
> 
> > 
> 
> >> Hi Everyone
> 
> >>
> 
> >> I am just daydreaming about generating Ada from another language.
> 
> >>
> 
> >> 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.
> 
> >>
> 
> >> Thanks-Patrick
> 
> > 
> 
> > There was a product in the 90s called Matrixx, it let you draw flow
> 
> > charts and type in algorithms and drag connections between components
> 
> > your created graphically.  You pushed the button and out popped some of
> 
> > the ugliest Ada you can imagine.  My point is you can have code
> 
> > generators but there is no guarantee of the quality, readablity or
> 
> > maintainablity.
> 
> 
> 
> If I remember correctly, the motivation for including a goto statement
> 
> in Ada was that automatic code generators might need it. This perhaps
> 
> shows what kind of code was expected from such generators...


GOTOs in auto-generated code are not usual...in the late 80's Jackson Structured Programming (JSP) diagrams -> COBOL often used GOTOs...but that was fine...it allowed implementation of the "Backtracking" technique in the JSP method and also, "who cares" what the auto-generated code looks like - you're supposed to be only looking at the diagrams.

It's the same reason we don't care about the 'gotos' in the assembler from your-favourite-Ada-compiler :-)

-- Martin

Re: example of machine generated Ada ?

[Paul Rubin]

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.