An executable operational semantics for Python

gideon gideon.smeding at
Fri Feb 13 14:13:09 CET 2009

On Feb 12, 5:14 pm, bearophileH... at 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.

More information about the Python-list mailing list