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