Représentation coinductive des graphes
Nous nous intéressons à la représentation de graphes dans le prouveur Coq. Nous avons choisi de les représenter par des types coinductifs dont nous voulions explorer l'utilisation. Ceux-ci permettent de rendre succincte et élégante la représentation et d'obtenir la navigabilité par constru...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00862507 http://tel.archives-ouvertes.fr/docs/00/86/25/07/PDF/TheseCeliaPicard.pdf |