An executable operational semantics for Python

[gideon]

Hi everybody,

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'
semantics.

Anyone interested should have a look at the short intro I put on my
web page:
http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/

 

[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'
semantics.

Can it be used for some useful purpose?

Bye,
bearophile

 

[gideon]

gideon:


Can it be used for some useful purpose?

The interpreter? Probably not. The semantics. Yes.

 

[Piet van Oostrum]

b> gideon:

b> Can it be used for some useful purpose?

I wanted to play with Python's MRO algorithm in the last weeks. I just
took the MRO description from Gideon's thesis, put it in a small Haskell
program and now I can easily try it out.