Call by need computations in orthogonal term rewriting systems
Résumé
This document describes my research and programming work in computer science between 1990 and 2005. All this work takes place in the framework of term rewriting systems and call by need strategies for these systems. It is both theoretical and practical; most of the theoretical notions and algorithms discussed have been implemented in a software tool called Autowrite. This document is an opportunity to present all our work related to call-by-need (published or unpublished) in a unified framework. Thanks to no severe limits on available space, the presentation may contain more details and examples than what can be given in a usual publication where space is always scarce. In some cases, the presentation given in this document departs significantly from the one previously given in our publications. We have tried to make this document as self-contained as possible so that a reader with some background in theoretical computer science could read it without looking for definitions elsewhere. All the given proofs are ours (with or without co-authors).
Ce document décrit mon travail de recherche et programmation en informatique effectué entre 1990 et 2005.
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 des notions et algorithmes étudiés ont été implémenté dans le logiciel Autowrite.
Ce document est une opportunité de présenter tous nos travaux dans ce domaine (publiés ou non) dans un cadre uniforme.
Du fait de la non limitation du nombre de pages, cette présentation contient plus de détails et d'exemples qu'on ne peut généralement en donner dans une publication classique.
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 des notions et algorithmes étudiés ont été implémenté dans le logiciel Autowrite.
Ce document est une opportunité de présenter tous nos travaux dans ce domaine (publiés ou non) dans un cadre uniforme.
Du fait de la non limitation du nombre de pages, cette présentation contient plus de détails et d'exemples qu'on ne peut généralement en donner dans une publication classique.
Domaines
Informatique [cs]
Fichier principal
hdr.pdf (1.15 Mo)
Télécharger le fichier
expose.pdf (1.14 Mo)
Télécharger le fichier
Format : Autre