next up previous
Next: Analyse de flot Up: Le programme scientifique de Previous: Les grammaires attribuées

Les grammaires attribuées et l'interprétation abstraite

 

Références: [BM94] Depuis fort longtemps, je suis convaincu qu'il existe une relation entre les grammaires attribuées et l'interprétation abstraite. Dans la littérature, seul Mads ROSENDAHL [Ros90,Ros91,Ros92] a vraiment étudié ce rapprochement. L'une des raisons qui me pousse à dire cela, et que pour moi les grammaires attribuées n'ont pas, à priori, un modèle de calcul spécifique. Bien sur, les développements autour des grammaires attribuées ont proposés des modèles de calcul comme, par exemple, par automate (séquence de visite) ou par graphe de dépendance. Au cours du développement de FNC-2 je me suis toujours résolument placé dans l'approche où le modèle de calcul pouvait être choisi parmi des modèles autres que ceux proposés initialement par les travaux sur les grammaires attribuées, comme le modèle de calcul fonctionnel et même le modèle logique.





Didier Parigot
Mon Apr 7 10:23:43 MET DST 1997