Factorisation de règles de syntaxe concrète

Proposition de stage de DEA

Sujet:

Le système Centaur est un générateur d'environnement de programmation qui permet de construire des environnements complets (éditeurs, vérificateurs, interprètes, traducteurs ou compilateurs) à partir de spécifications formelles. Il utilise pour celà plusieurs langages de spécifications.

Un nouveau formalisme de définition de syntaxe concrète modulaire en cours de développement utilise les DCG de Prolog pour implémenter des analyseurs syntaxiques. Le but de ce stage est d'ecrire un transformateur permettant de factoriser certaines règles de syntaxes dans le but de limiter le backtracking (et donc le temps d'execution du code Prolog généré) et de prouver la correction de cette transformation.

Encadrement: Thierry Despeyroux

Contact: Thierry Despeyroux

Tel : 04 93 65 77 07

E-mail : Thierry.Despeyroux@inria.fr

Laboratoire d'accueil:

Projets Croap, Inria Sophia Antipolis

Objectifs:

Programme exécutable et preuve de correction

Prérequis: Prolog et/ou Centaur/Typol

Matériel: Station Unix

Retour à la page du projet :

Retour aux autres stages proposés dans le projet :

Thierry Despeyroux
Last modified: Mon Nov 3 11:53:53 MET