Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2022

Necro, the skeleton key to semantics

Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles

Résumé

Programming languages rarely have a formally defined semantics, although it is the only way to ensure unicity in the interpretation of a language. On of the main reasons thereof is how hard it is to write a semantics, and how few applications there is. To this end, we introduce Skel, a simple language to describe programming languages' operational semantics, and Necro, an ecosystem to manipulate them, allowing among other things to generate interpreters and debuggers. Furthermore, Skel being minimal, and Necro being extensible, it is easy to add a new backend, in order to extract Skel semantics to other tools.
Les langages de programmation ont rarement une sémantique définie de manière formelle. Pourtant, c'est la seule manière de garantir l'unicité de l'interprétation d'un langage. Une des raisons qui expliquent ce manque est la difficulté d'écrire une sémantique, et le peu d'application qu'on peut en faire. Nous proposons donc Skel, un langage simple qui permet d'écrire des sémantiques opérationnelles de langage, et Necro, un écosystème pour les manipuler, et notamment générer des interpréteurs ou des débogueurs à partir de celles-ci. De plus, Necro est extensible, et le langage Skel est minimal, de sorte qu'il est simple de rajouter un backend pour extraire la sémantique vers d'autres outils.
Fichier principal
Vignette du fichier
NOIZET_Louis.pdf (1.01 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03855276 , version 1 (13-01-2023)

Identifiants

  • HAL Id : tel-03855276 , version 1

Citer

Louis Noizet. Necro, la sémantique sans y laisser les os : conception d’un système formel de description et de manipulation de sémantiques opérationnelles. Autre [cs.OH]. Université Rennes 1, 2022. Français. ⟨NNT : 2022REN1S024⟩. ⟨tel-03855276⟩
79 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More