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 -- http://mail.python.org/mailman/listinfo/python-list
