Abstract FR:

Nous présentons un système de description et de construction d'architectures de machines basé sur des expressions applicatives formées à partir des combinateurs de Curry et la théorie des catégories. Notre système permet de définir les composants d'un calculateur par quatre niveaux de spécification de complexité croissante. Chaque niveau élabore les dépendances fonctionnelles entre variables et opérateurs élémentaires et construit des micro-circuits par composition d'expressions applicatives de combinateurs. Nous distinguons les quatre niveaux suivants : 1/le niveau combinateur-coefficients ; 2/le niveau combinateur-sélecteurs ; 3/le niveau combinateur-constructeurs ; 4/le niveau combinateur-drivers. Cette organisation hiérarchique de spécification et de construction combinatoire est mise en oeuvre par l'analogie entre l'opération de concaténation, intrinséque à la logique combinatoire, et l'opération de compositionnalité, interne à la théorie des catégories. Grâce à cette extension par la théorie des catégories, des combinateurs. . .