An executable operational semantics for Python

bearophileHUGS at bearophileHUGS at
Thu Feb 12 17:14:22 CET 2009

> 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?


More information about the Python-list mailing list