1. Allocator for a reduction processor evaluating programs stored as binary directed graphs employing variable-free applicative language codes

Programme d'affectation pour processeur de reduction evaluant des programmes stockes sous forme de graphes a direction binaire employant des codes de langage d'application sans variables

2. ( A ) TO DESIGN CONCRETE FORMALISMS AND LANGUAGES BASED ON NON-PROCEDURAL AND NON-IMPERATIVE APPROACHES , SUCH AS FOUND IN THE FUNCTIONAL , APPLICATIVE , LOGICAL AND ALGEBRAIC PROGRAMMING STYLES .

( A ) CONCEVOIR DES FORMALISMES ET LANGAGES CONCRETS BASES SUR DES APPROCHES NON PROCEDURALES ET NON IMPERATIVES TELLES QU'ON LES RENCONTRE DANS LES STYLES DE PROGRAMMATION FONCTIONNELLE , APPLICATIVE , LOGIQUE ET ALGEBRIQUE .

3. RECENT RESEARCH IN THIS AREA SHOWS THAT NON-PROCEDURAL AND NON-IMPERATIVE LANGUAGES , SUCH AS FOUND IN FUNCTIONAL , APPLICATIVE , LOGICAL AND ALGEBRAIC PROGRAMMING STYLES CAN MAKE A CONSIDERABLE CONTRIBUTION IN THESE AREAS .

DES RECHERCHES RECENTES DANS CE DOMAINE MONTRENT QUE DES LANGAGES NON CONCEPTUELS ET NON IMPERATIFS , TELS CEUX QUI CARACTERISENT LES STYLES DE PROGRAMMATION FONCTIONNELLE , APPLICATIVE , LOGIQUE ET ALGEBRIQUE PEUVENT CONSTITUER DES AUXILIAIRES PRECIEUX DANS CES DOMAINES .