![]()
Précédent : Environnement pour Klone sous Centaur
Remonter : Environnements de programmation Suivant
: Tranches de dépendance dans les
Participants : Thierry Despeyroux, Laurent Théry
Mots-clés : environnement de programmation, Java
Le langage Java a servi de test pour les nouveaux formalismes de spécification. Sa syntaxe a été spécifiée à l'aide de AS, PPML et un parseur DCG (Prolog) généré à l'aide du nouveau langage de spécification de syntaxe concrète. Un parseur a aussi été spécifié en Metal pour pouvoir plus facilement le diffuser, en attendant une meilleure stabilité du nouveau formalisme.