Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Burak Ekici

est l'auteur d'une thèse

Certification de programmes Coq Effets calculatoires Langages de programmation -- Sémantique Logique décorée Microordinateurs -- Programmation Preuves de programmes Programmation fonctionnelle Programmation impérative Programmation logique Sémantique opérationnelle Sémantique équationnelle

Fullscreen

Certification de programmes Coq Effets calculatoires Langages de programmation -- Sémantique Logique décorée Microordinateurs -- Programmation Preuves de programmes Programmation fonctionnelle Programmation impérative Programmation logique Sémantique opérationnelle Sémantique équationnelle

Burak Ekici a rédigé la thèse suivante :

Certification de programmes avec des effets calculatoires

par Burak Ekici sous la direction de Jean-Guillaume Dumas et de Dominique Duval . - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 09-12-2015

Thèse soutenue

Accéder en ligne