Un environnement pour la programmation avec types dépendants
Les systèmes basés sur la Théorie des Types prennent une importance considérable tant pour la vérification de programmes qu'en tant qu'outils permettant la preuve formelle de théorèmes mettant en jeu des calculs complexes. Ces systèmes nécessitent aujourd'hui une grande expertise pour...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris Sud - Paris XI
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00640052 http://tel.archives-ouvertes.fr/docs/00/64/00/52/PDF/thesis-sozeau.pdf |