Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques / Yon Fernández de Retana ; sous la direction de David Pichardie et de Delphine Demange

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Logiciels -- Vérification

Compilation (informatique)

Pichardie, David (1977-....) (Directeur de thèse / thesis advisor)

Demange, Delphine (1983-....) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (Ecole doctorale associée à la thèse / doctoral school)

Université Bretagne Loire (Autre partenaire associé à la thèse / thesis associated third party)

Institut de recherche en informatique et systèmes aléatoires (Rennes) (Laboratoire associé à la thèse / thesis associated laboratory)