Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Une sémantique par point fixe pour les systèmes de réécriture orthogonaux
FR |
EN
| Auteur / Autrice : | Thierry Aimé |
| Direction : | Robert Strandh |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 1996 |
| Etablissement(s) : | Bordeaux 1 |
Mots clés
FR
Résumé
FR
Les systemes de reecriture comme langage de programmation posent des problemes d'efficacite. Nous proposons une semantique pour les regles de reecriture capable de conduire des optimisations par specialisation. La semantique d'une regle est representee par les classes de comportement qu'elle induit sur ses instances, comportement en terme de sequences de reduction. Alors avec une relation de surreduction contrainte par des problemes d'unification, nous montrons comment exprimer notre semantique sous la forme d'une topdown collecting semantics, permettant a terme une approximation par interpretation abstraite