Defending Python
Peter Hansen
peter at engcorp.com
Sun Jul 10 17:32:07 EDT 2005
Jorey Bump wrote:
> Bruno Desthuilliers <bdesth.quelquechose at free.quelquepart.fr> wrote:
>>it's.
>
> +1 for this becoming the official name of Python 3000. ;)
>
> And now for something completely different...
>
> The larch!
Sorry, already taken:
'''Larch - John Guttag and Jim Horning <horning at src.dec.com>. The Larch
Project develops aids for formal specifications. Each Larch
specification has two components: an interface containing predicates
written in the LIL (Larch Interface Language) designed for the target
language and a 'trait' containing assertions about the predicates
written in LSL, the Larch Shared Language common to all. "The Larch
Family of Specification Languages", J. Guttag et al, IEEE Trans Soft Eng
2(5):24-365 (Sep 1985). "Larch: Languages and Tools for Formal
Specification", Guttag and Horning, Springer 1993.'''
Maybe "Ni!"?
-Peter
More information about the Python-list
mailing list