Les Ensembles Intentionnels Par Les Substitutions Explicites

Abstract

Introduction Les contraintes ensemblistes apparaissent naturellement dans de nombreux domaines relatifs `a l'informatique. Pour l'analyse de programmes par exemple, o`u l'on raisonne sur les variables consid'er'ees comme ensembles de valeurs possibles, ce qui conduit `a des syst`emes de contraintes d'inclusion ou non inclusion ([9], [10]). En programmation fonctionnelle, certains m'ecanismes de typage utilisent la notion de sous types, et les algorithmes de typage associ'es sont en fait des algorithmes de r'esolution de contraintes ensemblistes ([2]). Enfin un certain nombre de travaux portent sur l'int'egration de la notion d'ensemble en tant que structure native `a l'int'erieur des langages de programmation ([7], [12], [14]), augmentant de ce fait l'expressivit'e du langage sous-jacent. Cependant, la majorit'e des implantations ne traite que d'ensembles finis, c'est `a dire susceptibles d'etre 'enum'er'es finiment. Dans ce cas, une repr'esentation explicite