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
|