An executable operational semantics for Python

[gideon]

On Feb 12, 5:14 pm, bearophileH... at 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 into a working interpreter. Hence I call it an 'executable'
> >semantics.
>
> Can it be used for some useful purpose?

The interpreter? Probably not. The semantics. Yes.