An executable operational semantics for Python
gideon.smeding at gmail.com
Fri Feb 13 14:13:09 CET 2009
On Feb 12, 5:14 pm, bearophileH... at lycos.com wrote:
> > 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'
> Can it be used for some useful purpose?
The interpreter? Probably not. The semantics. Yes.
More information about the Python-list