Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
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
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales