Abstract FR:

Dans les systemes de calcul formel classiques, le mecanisme de simplification est faiblement parametre: si la forme simplifiee d'une expression ne satisfait pas l'utilisateur, il n'a que peu de moyens de la modifier. Il est alors oblige de definir integralement de nouveaux operateurs correspondant a ses besoins. Pour privilegier le point de vue de l'utilisateur, nous avons defini une parametrisation du simplificateur par des equations, des regles de reecriture et des proprietes. Mais modifier uniquement le simplificateur ne permet pas une parametrisation suffisante car les calculs sont effectues soit par simplification soit par evaluation. Nous avons donc parametre l'evaluation par les fonctions de calcul. Mais la capacite expressive de ces informations ne suffit pas a l'utilisateur pour exprimer certaines informations fines, en particulier des informations dependantes de types. Nous associons donc chacune des informations precedentes a un type formel qui utilise par un mecanisme de typage permet de preciser l'action de l'evaluateur et du simplificateur. Pour etre completement personnalisable, les connaissances algebriques utilisees par un interprete doivent etre separees du processus de calcul. Nous proposons une architecture d'interprete parametre par ces connaissances et composee de deux parties: la base qui contient toute la connaissance, et le moteur qui calcule effectivement les expressions. Sur ce modele, nous avons construit un prototype d'interprete appele ulysse