Skeletal Semantics of a Fragment of Python
Abstract
We present PySkel, a formalization of the semantics of a fragment of Python in Skel, a simple semantics description language. We describe a subset of the Python programming language including assignments, function calls, object oriented features, and exceptions. This subset is large enough to include challenges in the formalization of Python such as the handling of scopes. This formalization is used to generate an OCaml interpreter that can be used to run Python programs.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|