Python, the Full Monty: a tested semantics for the Python programming language

AbstractWe 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… Read more

Similar