python operational semantics paper

P

Paul Rubin

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, suitable for tools
and proofs, and a translation process for converting Python source to
this core. We have tested the composition of translation and evaluation
of the core for conformance with the primary Python implementa- tion,
thereby giving confidence in the fidelity of the seman- tics. We briefly
report on the engineering of these compo- nents. Finally, we examine
subtle aspects of the language, identifying scope as a pervasive concern
that even impacts features that might be considered orthogonal.
 
T

Terry Reedy

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, suitable for tools
and proofs, and a translation process for converting Python source to
this core. We have tested the composition of translation and evaluation
of the core for conformance with the primary Python implementa- tion,
thereby giving confidence in the fidelity of the seman- tics. We briefly
report on the engineering of these compo- nents. Finally, we examine
subtle aspects of the language, identifying scope as a pervasive concern
that even impacts features that might be considered orthogonal.

Thanks for posting this. I found it very interesting but will need more
time to digest it. I plan to open a separate thread based on one item in
the paper.
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

No members online now.

Forum statistics

Threads
473,744
Messages
2,569,484
Members
44,903
Latest member
orderPeak8CBDGummies

Latest Threads

Top