Artikel in einem Konferenzbericht,
Les grammaires attribuées\,: un langage fonctionnel déclaratif
journ�es du GDR de programmation, Grenoble, (November 1995)
Zusammenfassung
Bien que les Grammaires Attribu�es aient �t� introduites il y a trente
ans, leur manque de pouvoir d'expression les a confin�es dans le
domaine du traitement des langages de programmation. Dans cet article,
nous montrons qu'il est possible d'�tendre cette expressivit�. Nous
soutenons que les Grammaires Attribu�es peuvent �tre utilis�es pour
d�crire des calculs sur des structures qui ne sont pas uniquement
des arbres, mais aussi des formes abstraites permettant de d�crire
des structures infinies. Afin d'atteindre cette expressivit�, nous
avons introduit deux nouvelles notions\,: les sch�mas de productions\/
et les productions conditionnelles. Nous obtenons ainsi un
langage dont le pouvoir d'expression est comparable � celui de la
plupart des langages fonctionnels du premier ordre, avec un c�t�
d�claratif beaucoup plus marqu�. Nos extensions ne remettent pas
en cause les bases du formalisme des Grammaires Attribu�es sur lesquelles
reposent la plupart des travaux concernant celles-ci, en particulier
l'analyse statique et la g�n�ration d'�valuateurs. Ainsi, les r�sultats
existants peuvent �tre appliqu�s directement � nos Grammaires Attribu�es
�tendues, entre autre ceux permettant une implantation efficace (dans
notre cas, en utilisant notre syst�me FNC-2). L'int�r�t de ces extensions
est de redonner aux Grammaires Attribu�es leur expressivit� intrins�que.
De plus, elles nous permettent d'envisager de nouveaux axes de recherche
en comparant nos techniques d'analyses � celles qui ont �t� d�velopp�es
dans des formalismes de m�me expressivit�.
