Re: An executable operational semantics for Python

2009-04-06 Thread Piet van Oostrum
> bearophileh...@lycos.com (b) wrote: >b> gideon: >>> I've recently finished my Master's thesis on the semantics of Python. >>> In my thesis I define the semantics of Python by rewriting an abstract >>> machine. The sources that are used to produce my thesis can also be >>> compiled into a wor

Re: An executable operational semantics for Python

2009-02-13 Thread gideon
On Feb 12, 5:14 pm, bearophileh...@lycos.com wrote: > gideon: > > > I've recently finished my Master's thesis on the semantics of Python. > > In my thesis I define the semantics of Python by rewriting an abstract > > machine. The sources that are used to produce my thesis can also be > > compiled i

Re: An executable operational semantics for Python

2009-02-12 Thread bearophileHUGS
gideon: > I've recently finished my Master's thesis on the semantics of Python. > In my thesis I define the semantics of Python by rewriting an abstract > machine. The sources that are used to produce my thesis can also be > compiled into a working interpreter. Hence I call it an 'executable' > sem