An executable operational semantics for Python

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


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.



More information about the Python-list mailing list