Class specialization is the most original feature of object orientation, but identifying it to subtyping leads to the well known covariance-contravariance controversy. Type safety requires contravariance while specialization needs covariance. This paper aims to precisely analyse this problem, to show how irreductible it is and the need for type errors. We show that many alternatives as multiple...

Lors de la quantification algébrique d'une algèbre de Pois-son, il est intéressant que certains groupes de (co)homologie suivent cette déformation de Poisson en Hochschild. Nous présenterons ce thème relative-ment au groupe des traces en donnant des exemples provenant de variétés quotients par l'action de groupes finis, typiquement pour les singularités de Klein, les actions doublées de groupes...

— The aim ofthis paper is thejurther study oj EOLjorms under uniform interprétation. We are naturally led to the considération oj synchronized EOLjorms, which become the central thème of this paper. We prove: a ""strongest"" possible normaljorm resuit, the spanning normalJorm theorem; the non-existence oj uni-generatorsjor "reasonable" language amilies, which include thefinite, regular and cont...

Le Laboratoire Bordelais de recherche en informatique (LaBRI) développe un partenariat avec le Studio de Création et de recherche en informatique et musique électroacoustique (SCRIME) (http://scrime.labri.fr), dont l’objectif est de créer des outils pour la création artistique. Les recherches s’effectuent dans le thème « Modélisation du Son, de la Musique et de la Parole » (http://www.labri.fr/...