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