An executable operational semantics for Python

bearophileHUGS at lycos.com bearophileHUGS at lycos.com
Thu Feb 12 17:14:22 CET 2009


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?

Bye,
bearophile



More information about the Python-list mailing list