Abstract FR:

Principaux résultats : 1) une caractérisation de différentes sous-classes de programmes Typol ; 2) des conditions suffisantes pour l'équivalence d'un programme Typol avec une grammaire attribuée ; 3) une condition suffisante pour l'élimination de l'unification lors de l'exécution d'un programme Typol avec point fixe ; 4) une extension des grammaires attribuées pour la sémantique dynamique compatible avec la notion de processus communicants ; 5) un analyseur sémantique pour le langage Typol; 6) un générateur de code pour les programmes Typol équivalents à des schémas primitifs récursifs produit un code lisp optimise implantant ces schémas ; 7) un décompilateur produit une Grammaire Attribuée à donner en entrée au générateur d'évaluateurs d'attributs