Université de Rennes 1 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 Necro, the skeleton key to semantics spécificationsémantique opérationnelleformalisationinterpréteurdébogueur specificationoperational semanticsformalisationinterpreterdebugger Langages de programmation -- Sémantique 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. 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. Electronic Thesis or DissertationText fr application/pdf1 : 979 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/da8ac93a-7733-4d5e-b0c7-4f335d922151 Noizet Victoire 1996-05-31 FR 26569597X victoire@noizet.fr 2022REN1S024 http://www.theses.fr/2022REN1S024 2022-09-29 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiSchmittAlanintervenant_1135454840BaeldeDavidintervenant_2201647249KellerChantalintervenant_3176956875MahboubiAssiaintervenant_4111289971Régis-Gianas‎Yannintervenant_5120416921FilliâtreJean-Christopheintervenant_615500395XStefaniJean-Bernardintervenant_7076355209 MATHSTICecoleDoctorale_1 204770424 IRISA partenaireRecherche_1 026386909 ddc:004 SchmittAlanBaeldeDavidKellerChantalMahboubiAssiaRégis-Gianas‎YannFilliâtreJean-ChristopheStefaniJean-BernardUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) IRISA ASCII PDF 1002155