Thanks Daniel --

Do you have any pointers to this?

Cheers,

Alan

-----

At 5:05 PM +0000 8/15/03, daniel.a.joyce at att.net wrote:
>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
>>  --
>>


--