• Español
  • English

Accueil > Notice complète

  • Première page
  • Page précédente
  • Notice 1 sur 1
  • Page suivante
  • Dernière page

Notice complète

1/1
Une sémantique par point fixe pour les systèmes de réécriture orthogonaux
Auteur :
Aimé, Thierry  
Contributeur :
Strandh, Robert 1955-.... (Directeur de thèse)  
Université de Bordeaux I. 1970-2013  
Date de publication :
1996  
Autre titre :
A FIX POINT SEMANTICS FOR ORTHOGONAL REWRITING SYSTEMS  
Langue :
français  
Discipline :
Informat.  
Notes :
Thèse de doctorat, 1996 ; 1395, Bordeaux 1  
Type de document :
Travaux universitaires  

Université de Bordeaux

Bibliothèque Localisation Statut Condition Vol. Cote
ST-BU SC. ET TECHNIQUES Magasin Accueil Niveau 0 Disponible Prêt 28 j. FT 96.B-1395
ST-BU SC. ET TECHNIQUES Magasin Accueil Niveau 0 Disponible Prêt 28 j. FTR 96.B-1395
Collation :
83 p ; 30 cm  
Provenance :
SF (PPN005666945)  
Origine :
BaBord  
Identifiant d'origine :
69670  

LES SYSTEMES DE REECRITURE COMME LANGAGE DE PROGRAMMATION POSENT DES PROBLEMES D'EFFICACITE. NOUS PROPOSONS UNE SEMANTIQUE POUR LES REGLES DE REECRITURE CAPABLE DE CONDUIRE DES OPTIMISATIONS PAR SPECIALISATION. LA SEMANTIQUE D'UNE REGLE EST REPRESENTEE PAR LES CLASSES DE COMPORTEMENT QU'ELLE INDUIT SUR SES INSTANCES, COMPORTEMENT EN TERME DE SEQUENCES DE REDUCTION. ALORS AVEC UNE RELATION DE SURREDUCTION CONTRAINTE PAR DES PROBLEMES D'UNIFICATION, NOUS MONTRONS COMMENT EXPRIMER NOTRE SEMANTIQUE SOUS LA FORME D'UNE TOPDOWN COLLECTING SEMANTICS, PERMETTANT A TERME UNE APPROXIMATION PAR INTERPRETATION ABSTRAITE

Il n'y a pas de commentaire pour cette notice.

  • Première page
  • Page précédente
  • Notice 1 sur 1
  • Page suivante
  • Dernière page