Compilation de programmes TYPOL par attributs sémantiques / Isabelle Attali ; sous la direction de Paul Franchi-Zannettacci

Auteur principal : Attali, Isabelle, 1963-2004, AuteurAuteur secondaire : Franchi-Zannettacci, Paul, Directeur de thèseAuteur secondaire collectivité : Université de Nice, Etablissement de soutenanceType de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1989Description : 1 vol. (219 p.) ; 30 cmISBN: 2726106056.Bibliographie : Bibliogr. p. 211-219.Sujet MSC : 68N17, Computer science - Theory of software, Logic programming
68Q42, Computer science - Theory of computing, Grammars and rewriting systems
68Q45, Computer science - Theory of computing, Formal languages and automata
68P30, Computer science - Theory of data, Coding and information theory
68Q55, Computer science, Semantics in the theory of computing
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique, 1989, Nice Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle S 		Thèses ATT (Browse shelf(Opens below)) Available 09929-01

Bibliogr. p. 211-219

Thèse de doctorat informatique 1989 Nice

Ce travail consiste à prendre en compte les spécificités du formalisme TYPOL pour obtenir une évaluation plus efficace, grâce aux techniques issues des Grammaires Attribuées. Les principaux résultats présentés dans cette thèse sont les suivants : 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 a des Schémas Primitifs Récursifs produit un code LISP optimise implantant ces schémas; 7) un décompilateur produit une Grammaire Attribuée a donner en entrée au générateur d’évaluateurs d'attributs

There are no comments on this title.

to post a comment.