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/ -- http://mail.python.org/mailman/listinfo/python-list