Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Gregory Ewing <greg.ewing@canterbury.ac.nz>
Newsgroups: comp.lang.python
Subject: Re: python operational semantics paper
Date: Mon, 11 Nov 2013 13:37:19 +1300
Lines: 23
Message-ID: <bean60Fpi8mU1@mid.individual.net>
References: <7x61s1o22j.fsf@ruckus.brouhaha.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Bc1pV1wv4k8EgsJJKZvjYg1lhx8EoxSMYMwakXfyAFlKBcv1Xw
Cancel-Lock: sha1:f6QZI2kM84QdQWUVeOfNN4YfXEc=
User-Agent: Mozilla Thunderbird 1.0.5 (Macintosh/20050711)
X-Accept-Language: en-us, en
In-Reply-To: <7x61s1o22j.fsf@ruckus.brouhaha.com>
Xref: csiph.com comp.lang.python:59035

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