Participants : Michel Mauny, Daniel de Rauglaudre
S'inspirant du travail d'Anika Aasa (Göteborg), qui proposait dans sa thèse une syntaxe extensible par des opérateurs dits distfixes, Michel Mauny et Daniel de Rauglaudre ont conçu et mis en oeuvre une généralisation de tels opérateurs, suffisamment puissante pour, par exemple, rendre définissable toute la syntaxe concrète des expressions ML (à l'exception des atomes). Cette forme d'extensibilité, nouvelle en ML et très facile d'usage, est à même d'être employée pour programmer un support syntaxique rendant utilisable tel ou tel style de programmation dans toute sa puissance, et le rendre disponible sous forme de bibliothèque. Cette année, Michel Mauny et Daniel de Rauglaudre ont commencé à formaliser leur système de grammaires extensibles, afin d'en donner une sémantique claire qui servirait de documentation, et à étudier les propriétés de ces grammaires (savoir, par exemple, s'il est possible de détecter les productions obligatoirement inutilisées).