Grammaires d'arbres attribuées : méthodes de vérification des propriétés de graphes engendrés

par Kablan Barbar

Thèse de doctorat en Sciences

Sous la direction de Bruno Courcelle.

Soutenue en 1988

à Bordeaux 1 .

mots clés

• Langages de programmation
• Attribut (linguistique)
• Grammaires de graphes

Résumé

Presentation d'une methode de recherche d'algorithmes de test des proprietes de graphes d'attributs engendres. Sont decrits, sous forme de point fixe d'un systeme regulier, des algorithmes iteratifs pour les tests de non-circularite, d'existence d'attributs inutiles et d'existence de chemins hamiltoniens dans les graphes engendres

Titre traduit

Attributed free grammars : verification methods of properties of the graphs generated

Pas de résumé disponible.