Call by need computations in orthogonal term rewriting systems
Ce document décrit mon travail de recherche et programmation en informatique effectué entre 1990 et 2005.<br />Tout ce travail s'inscrit dans le cadre des systèmes de réécriture de termes et des stratégies "appel-par-valeur". Il est à la fois théorique et pratique; la plupart de...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Sciences et Technologies - Bordeaux I
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00338594 http://tel.archives-ouvertes.fr/docs/00/33/85/94/PDF/hdr.pdf http://tel.archives-ouvertes.fr/docs/00/33/85/94/ANNEX/expose.pdf |