Python: the full monty
Python: the full monty
复制标题
Python：完整版
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
S. Krishnamurthi
中科院分区：
文献类型：
--
作者：
J. Politz;Alejandro Martinez;Mae Milano;Sumner Warren;Daniel Patterson;Junsong Li;Anand Chitipothu;S. Krishnamurthi
我们提出了一个小步骤的Python编程语言的操作语义。我们提出了一种适用于工具和证明的Python核心语言，以及将Python源代码转换为该核心的翻译过程。我们已经测试了核心的翻译和评估的组成与主要Python实现的一致性，从而对语义的保真度充满信心。我们简要报告这些组件的工程。最后，我们研究语言的微妙方面，确定范围作为一个普遍的关注，甚至影响可能被认为是正交的功能。
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.