Changements de Représentation des Données dans le Calcul des Constructions
Nous étudions comment faciliter la réutilisation des <br />preuves formelles en théorie des types. Nous traitons cette question <br />lors de l'étude <br />de la correction du programme de calcul de la racine carrée de GMP. <br />A partir d'une description formelle,...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nice Sophia-Antipolis
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00005903 http://tel.archives-ouvertes.fr/docs/00/04/67/49/PDF/tel-00005903.pdf |