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/