Another general question to the list
daniel.a.joyce at att.net
daniel.a.joyce at att.net
Fri Aug 15 17:05:56 UTC 2003
Nasa uses such a system that takes programs specified in Z-code ( A
combination language / logical constraint system to prove program correctness
) and generates code from that...
-Daniel
> Hi Folks --
>
> An idea that has surfaced numerous times in various ways over the
> last 40 years can be stated as a question:
>
> If unit tests are a good idea, then shouldn't we try to generate the
> method code directly from them?
>
> In other words, there could be/should be a language in which one
> programs in terms of the criteria to be achieved, and the system
> tries to come up with code that meets those criteria. (The last one
> of these that seemed really interesting was ART by Inference Corp
> (out of the CMU context).)
>
> Anyone know of any interesting current work along these lines?
>
> Cheers,
>
> Alan
> --
>
More information about the Squeak-dev
mailing list
|