Re: python operational semantics paper

From	Gregory Ewing <greg.ewing@canterbury.ac.nz>
Newsgroups	comp.lang.python
Subject	Re: python operational semantics paper
Date	2013-11-11 13:37 +1300
Message-ID	<bean60Fpi8mU1@mid.individual.net> (permalink)
References	<7x61s1o22j.fsf@ruckus.brouhaha.com>

Show all headers | View raw

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

Back to comp.lang.python | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

python operational semantics paper Paul Rubin <no.email@nospam.invalid> - 2013-11-09 10:35 -0800
  Re: python operational semantics paper Terry Reedy <tjreedy@udel.edu> - 2013-11-10 05:42 -0500
  Re: python operational semantics paper Gregory Ewing <greg.ewing@canterbury.ac.nz> - 2013-11-11 13:37 +1300

csiph-web