Programming-Testing-Proving
- Domaine
- Programming-Testing-Proving
- Domain - extra
- Année
- 2013
- Starting
- September 2013
- État
- Open
- Sujet
- Obtention de programmes corrects par raffinement dans un langage de haut niveau
- Thesis advisor
- FILLIATRE Jean-Christophe
- Co-advisors
- Andrei Paskevich (Univ Paris Sud)
- Laboratory
- Collaborations
- Abstract
- Cette thèse propose d'explorer l'idée de la construction de programmes
par raffinement en réutilisant un grand nombre de concepts issus des
langages de programmation de haut niveau, tels que le polymorphisme,
les types algébriques, le filtrage, les types abstraits, ou encore
l'ordre supérieur. Les enjeux scientifiques de cette thèse se situent
dans la combinaison, inédite à ce jour, de la théorie du raffinement
et des systèmes de types riches. Un objectif pratique de cette thèse
sera de mettre en oeuvre cette combinaison dans l'outil Why3.
- Context
- Objectives
- Work program
- Extra information
- Prerequisite
- Détails
sujet-these.pdf- Expected funding
- Research contract
- Status of funding
- Confirmed
- Candidates
- Levs Gondelmans
- Utilisateur
- jean-christophe.filliatre
- Créé
- Jeudi 06 juin 2013 17:17:11 CEST
- dernière modif.
- Jeudi 06 juin 2013 17:17:11 CEST
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr