Python: the full monty

Authors:
Joe Gibbs Politz;Alejandro Martinez;Matthew Milano;Sumner Warren;Daniel Patterson;Junsong Li;Anand Chitipothu;Shriram Krishnamurthi
Affiliations:
Providence, RI, USA, Providence, RI, USA;La Plata, BA, Argentina, La Plata, Argentina;Providence, RI, USA, Providence, RI, USA;Providence, RI, USA, Providence, RI, USA;Providence, RI, USA, Providence, RI, USA;Beijing, China, Beijing, China;Bangalore, India, Bangalore, India;Providence, RI, USA, Providence, RI, USA
Venue:
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Year:
2013

Citing 4
Cited 0

The revised report on the syntactic theories of sequential control and state

Theoretical Computer Science
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
The essence of javascript

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A tested semantics for getters, setters, and eval in JavaScript

Proceedings of the 8th symposium on Dynamic languages

Quantified Score

Hi-index	0.00

Visualization

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 implementation, thereby giving confidence in the fidelity of the semantics. We briefly report on the engineering of these components. Finally, we examine subtle aspects of the language, identifying scope as a pervasive concern that even impacts features that might be considered orthogonal.