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ératifs comme Java et C a...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr en |
Published: |
2008
|
Subjects: | |
Online Access: | http://www.theses.fr/2008INPL045N/document |