Re: python operational semantics paper

2013-11-10 Thread 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.__a

Re: python operational semantics paper

2013-11-10 Thread Terry Reedy
On 11/9/2013 1:35 PM, Paul Rubin wrote: This looks kind of interesting. 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. We present both a core language for Python, suit