Utilisation de la technique du Type-based homeomorphic embedding dans la spécialisation on-line d'interpréteurs

Résumé

L'idée de la spécialisation est d'adapter un programme à des entrées particulières pour rendre le programme plus performant par rapport à ces entrées. Cette technique peut être utilisée dans de nombreux domaines, mais dans le cadre de ce travail, nous allons nous limiter à un certain type de spécialisation, cleui de la spécialisation de programmes logiques (appelé déduction partielle) effectuée de manière on-line. Dans ce cas, un domaine particulier rencontre encore des difficultés, c'est celui de la spécialisation on-line de méta-interpréteurs. On v ad'abord présenter les différentes connaissances nécessaires pour comprendre ce problème. On va ensuite essayer d'adapter une découverte récente dans les techniques de terminaison de la déduction partielle, à savoir de Type-Based Homeomorphine Embedding, au cas particulier de la spécialisation de méta-interpréteurs. Les résultats trouvés lors de ce travail montrent des améliorations effectuées dans la spécialisation de méta-interpréteurs, mais également des limites qu'il faudra dépasser pour mener à bien la spécialisation on-line de n'importe quel méta-interpréteur.

la date de réponse	2008
langue originale	Français
L'institution diplômante	Universite de Namur
Superviseur	Wim Vanhoof (Promoteur)