Langages d'arbres réguliers et algébriques pour la réécriture et la vérification
Partant d'un système de réécriture R basé sur les constructeurs et d'un langage initial E, il est alors possible de calculer l'ensemble des descendants, c est à dire des termes atteignables à partir de E en appliquant récursivement les règles de R. Calculer l'ensemble des descend...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
2004.
|
| Témata: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Regular and context-free tree languages for rewriting and verification |
| LEADER | 02333nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 221224 | ||
| 008 | 050823s2004 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN088982645 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Vuotto-Moan, Julie. | |
| 240 | 1 | 0 | |a Regular and context-free tree languages for rewriting and verification |
| 245 | 1 | 0 | |a Langages d'arbres réguliers et algébriques pour la réécriture et la vérification |c Julie Vuotto-Moan ; [sous la dir. de] Pierre Réty. |
| 260 | |a [S.l.] : |b [s.n.], |c 2004. | ||
| 300 | |a 170 p. ; |c 30 cm. | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2004 | ||
| 504 | |a Bibliogr. p. [157]-166 | ||
| 506 | |a Publication autorisée par le jury | ||
| 520 | |a Partant d'un système de réécriture R basé sur les constructeurs et d'un langage initial E, il est alors possible de calculer l'ensemble des descendants, c est à dire des termes atteignables à partir de E en appliquant récursivement les règles de R. Calculer l'ensemble des descendants peut être utilisé aussi bien en réécriture (notamment pour vérifier certaines propriétés comme l'accessibilité et la joignabilité) qu'en vérification de protocoles cryptographiques. Les travaux de P. Réty portent sur un calcul d'un ensemble exact de descendants réguliers. Nous les avons étendus en prenant en compte des stratégies de réécriture (innermost, outermost, leftmost et leftmost-innermost). Procéder à un calcul exact nécessitant des restrictions sur R et sur E, nous avons étudié les descendants à travers un langage plus expressif : les langages algébriques d'arbres. | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Réécriture, Systèmes de (informatique) | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Réty, Pierre, |d 19..- |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246817852 |t Langages d'arbres réguliers et algébriques pour la réécriture et la vérification |f Julie Vuotto-Moan |d 2004 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [Grenoble thèses] |
| 997 | |0 221224 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2004-64 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2004-64 b | ||