[ale] Z Language

Pete Hardie pete.hardie at gmail.com
Wed Aug 31 14:28:23 EDT 2016


That's "the programming language formerly known as C"

(not really)

On Aug 31, 2016 1:50 PM, "Boris Borisov" <bugyatl at gmail.com> wrote:

> We run out of letters for naming programming languages :)
>
> On Aug 31, 2016 1:10 PM, "leam hall" <leamhall at gmail.com> wrote:
>
>> I'm reading "Secure Coding: Principles and Practice" and it mentions the
>> Z language for design formal method process. Anyone ever use it? Always
>> trying to better my programming chops.
>>
>> Leam
>>
>> --
>> Mind on a Mission <http://leamhall.blogspot.com/>
>>
>> _______________________________________________
>> Ale mailing list
>> Ale at ale.org
>> http://mail.ale.org/mailman/listinfo/ale
>> See JOBS, ANNOUNCE and SCHOOLS lists at
>> http://mail.ale.org/mailman/listinfo
>>
>>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.ale.org/pipermail/ale/attachments/20160831/d3613baf/attachment.html>


More information about the Ale mailing list