python operational semantics paper

Gregory Ewing greg.ewing at
Mon Nov 11 01:37:19 CET 2013

Paul Rubin wrote:
> Abstract
> We present a small-step operational semantics for the Python programming
> language.

I noticed one thing they seem to have missed. They
assume that

    a + b

is equivalent to


when, as many of us know, it's considerably more
complicated than that.


More information about the Python-list mailing list