Contraintes d'anti-filtrage et programmation par réécriture
L'objectif principal de cette thèse est l'étude et la formalisation de nouvelles constructions permettant d'augmenter l'expressivité du filtrage et des langages à base de règles en général. Ceci est motivé par le développement de Tom, un système qui enrichit les langages impérati...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National Polytechnique de Lorraine - INPL
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00337539 http://tel.archives-ouvertes.fr/docs/00/33/75/39/PDF/manuscritRaduKopetz.pdf |