python operational semantics paper

[Gregory Ewing]

Paul Rubin wrote:
> 
> http://cs.brown.edu/~sk/Publications/Papers/Published/pmmwplck-python-full-monty/
> 
> 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

    a.__add__(b)

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

-- 
Greg