QUIMPER : un langage de programmation pour le calcul ensembliste ; Application à l`automatique

Resume : Q est un langage de programmation dedie au calcul ensembliste. Il permet de programmer une grande classe d’algorithmes utilisant le calcul par intervalles avec une grande facilite. Apres avoir introduit brievement les notions fondamentales sur les contracteurs, cet article presente le langage Q et illustre son utilisation pour la resolution de problemes ensemblistes issus de l’automatique.