Réécriture (informatique) - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Bibliographie
- (en) Terese, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, 2003
- (en) Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998
Implantation
Le premier langage fondé sur la rééciture est Hope dû à Burstall, McQueen et Sanella, quoique l'on puisse lui trouver deux ancêtres, dans les travaux de Burge et d'O'Donnell. Depuis plusieurs langages de programmation ont pour mécanisme interne la réécriture, parmi lesquels ASF+SDF, ELAN, Maude, Stratego et Tom. Ce dernier est intéressant parce qu'il mélange des constructions venant de la réécriture avec le langage Java. Bien que qu'appartenant à la catégorie des langage fonctionnels, Objective Caml repose également sur un principe de base de la réécriture : le filtrage de motif.
- Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. 136-143, The 1980 LISP Conference
- W. Burge. Recursive Programming Techniques. Addison Wesley 1975.
- Michael J. O'Donnell: Computing in Systems Described by Equations Springer 1977
