An executable operational semantics for Python

[bearophileHUGS at lycos.com]

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