Skeletal Semantics of a Fragment of Python - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

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.
Fichier principal
Vignette du fichier
jfla2024-paper-1.pdf (463.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04406392 , version 1 (19-01-2024)

Identifiants

  • HAL Id : hal-04406392 , version 1

Citer

Martin Andrieux, Alan Schmitt. Skeletal Semantics of a Fragment of Python. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04406392⟩
38 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More