Dynamic Attribute Grammars

Abstract : Although Attribuate Grammars were introduced thirty years ago, their lack of expressiveness has resulted in limited use outside the domain of static language processing. With the new notion of a Dynamic Attribute Grammar defined on a Grammar Couple, informally presented in a previous paper, we show that it is possible to extend this expressiveness and to describe computations on structures that are not just trees, but also on abstractions allowing for infinite structures. The result is a language that is comparable in power to most first-order functional languages, with a distinctive declarative character. In this paper, we give a formal definition of Dynamic Attribute Grammars and show how to construct efficient visit-sequence-based evaluators for them, using traditional, well-established AG techniques (in our case, using the FNC2 system The major contribution of this approach is to restore the intrinsic power of Attribute Grammar and re-emphasize the effectiveness of analysis and implement- ation techniques developed for them.
Type de document :
Rapport
[Research Report] RR-2881, INRIA. 1996
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00073810
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:48:09
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:43:02

Fichiers

Identifiants

  • HAL Id : inria-00073810, version 1

Collections

Citation

Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris. Dynamic Attribute Grammars. [Research Report] RR-2881, INRIA. 1996. 〈inria-00073810〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

173