Another general question to the list

Alan Kay Alan.Kay at squeakland.org
Fri Aug 15 22:45:33 UTC 2003


Thanks Brian --

I'm not a big fan of Z, and I also prefer Maude (I really like what 
Joe Goguen has been doing over the years). However, you probably also 
agree there is a lot of improvement possible here as well.

Cheers,

Alan

-------

At 12:56 PM -0700 8/15/03, Brian T Rice wrote:
>This is the Z Specification Language, see:
>http://directory.google.com/Top/Computers/Programming/Languages/Z/
>
>Personally, I prefer Maude - http://maude.cs.uiuc.edu/ - which is
>executable (inherently), reflective, and dynamic.
>
>On Fri, 15 Aug 2003, Alan Kay wrote:
>
>>  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...
>
>--
>Brian T. Rice
>LOGOS Research and Development
>http://tunes.org/~water/


-- 



More information about the Squeak-dev mailing list