Re: documenting formal operational semantics of Python

2008-03-05 Thread Kay Schluehr
On 5 Mrz., 13:47, gideon <[EMAIL PROTECTED]> wrote: > Hi Everybody, > > In the context of a master's thesis I'm currently looking into > Python's operational semantics. Even after extensive searching on the > web, I have not found any formal model of Python. Therefore I am > considering to write on

Re: documenting formal operational semantics of Python

2008-03-05 Thread Matthew Woodcraft
gideon <[EMAIL PROTECTED]> wrote: > In the context of a master's thesis I'm currently looking into > Python's operational semantics. Even after extensive searching on the > web, I have not found any formal model of Python. Therefore I am > considering to write one myself. To make a more informed d

Re: documenting formal operational semantics of Python

2008-03-05 Thread Paul Rubin
gideon <[EMAIL PROTECTED]> writes: > In the context of a master's thesis I'm currently looking into > Python's operational semantics. Even after extensive searching on the > web, I have not found any formal model of Python. Therefore I am > considering to write one myself. I doubt if anything ser

Re: documenting formal operational semantics of Python

2008-03-05 Thread davidj411
Python 3.0 might end up better, but converting all those scripts will be a chore. I'd be curious to know how that will be done. -- http://mail.python.org/mailman/listinfo/python-list

documenting formal operational semantics of Python

2008-03-05 Thread gideon
Hi Everybody, In the context of a master's thesis I'm currently looking into Python's operational semantics. Even after extensive searching on the web, I have not found any formal model of Python. Therefore I am considering to write one myself. To make a more informed decision, I would like to ask