Normal view MARC view ISBD view

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, Logic programming, Computer science -- Software
68Q42, Grammars and rewriting systems, Computer science -- Theory of computing
68Q45, Formal languages and automata, Computer science -- Theory of computing
68Q55, Semantics, Computer science -- Theory of computing
68P30, Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.), Computer science -- Theory of data
97A70, Mathematics education - General, mathematics and education
Note de thèse: Thèse de doctorat, informatique, 1989, Nice
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses ATT (Browse shelf) 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 for this item.

Log in to your account to post a comment.