Semantic foundations of intermediate program representations / Delphine Demange ; sous la direction de Thomas Jensen

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Logiciels -- Vérification

Langages formels

Langages de programmation -- Sémantique

Jensen, Thomas (1965-....) (Directeur de thèse / thesis advisor)

Leroy, Xavier (1968-.... ; chercheur en informatique) (Rapporteur de la thèse / thesis reporter)

Bougé, Luc (1959-....) (Membre du jury / opponent)

Cohen, Albert Henri (1973-....) (Membre du jury / opponent)

Potet, Marie-Laure (1959-....) (Membre du jury / opponent)

Pichardie, David (1977-....) (Membre du jury / opponent)

École normale supérieure Paris-Saclay (Gif-sur-Yvette, Essonne) (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (Ecole doctorale associée à la thèse / doctoral school)