Vous pouvez vous abonner à nos annonces de séminaires
		    http://gallium.inria.fr/seminaires/

			     S E M I N A I R E
			   __                                  
			  / _`  _   /  /  o           
			 /   ) __) /  /  / /  / /\/| 
			(___/ (_/ (_ (_ / (__/ /   |  
                                                
			  I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                           Lundi 7 décembre, 10h30

                               ---------------
                               Frédéric Bour
                               ---------------


     ===================================================================
     Étendre Menhir pour l'analyse d'entrées partiellement incorrectes
     ===================================================================

Menhir permet de spécifier déclarativement des analyseurs syntaxiques.
Ceux-ci sont agréables à utiliser en "mode batch" : l'analyse réussit
complètement ou bien échoue.
Dans le cadre d'outils interactifs de développement il est aussi
souhaitable d'analyser des fichiers partiellement incorrects.
Je propose ici une approche pour étendre Menhir à ces cas d'usage, en
restant déclaratif pour l'auteur de la grammaire.

Le problème est séparé en deux parties traitées indépendamment :
1) Génération : lorsqu'une erreur se produit, comment combler les
trous pour terminer l'analyse en conservant le préfixe déjà analysé.
2) Reprise : en supposant que l'on puisse compléter des morceaux
partiels de l'entrée, comment décider où reprendre l'analyse de
l'entrée de l'utilisateur.