Skeletal Semantics of a Fragment of Python
Résumé
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.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|