Précédent : Premiers résultats métathéoriques Remonter : Vers un système de spécification Suivant : Actions industrielles

Spécification de langages de programmation

Participant : Thierry Despeyroux  

Mots-clés : environnement de programmation, langage de programmation Une première version d'un formalisme de spécification de syntaxe abstraite modulaires (AS) a été mise à disposition. Ce formalisme prend en compte des syntaxes d'ordre supérieur. Un manuel [10] a été écrit, et est disponible en version HTML.

Nous développons actuellement un formalisme de définition de syntaxe concrète modulaire dont l'implémentation se fait à l'aide de grammaires DCG. Une version préliminaire de ce formalisme a été testée pour C et Java et permet d'espérer un gain très important en vitesse de développement par rapport à la technique utilisant Metal et Yacc.

Le but de ces travaux est d'utiliser les connaissances acquises lors du développement de Centaur pour développer une chaîne complète de formalismes de spécification en mettant l'accent sur la rapidité, la sureté et la facilité de développement.