[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Leger probleme



[English text for english readers at the end of this message]
[Cette mailing-list ayant une diffusion internationale, merci
d'utiliser l'anglais dans vos messages]

In article <DSTMay16.122556.2711@sophia.inria.fr>, fevrier@chambord-gw.univ-orleans.fr writes:

|> J'utilise Centaur 1.2 et je rencontre une ptite difficulte que
|> je vous soumets :
|> 
|> J'ai decrit un formalisme pour un langage L. Dans ce langage,
|> je desire inclure un autre formalisme F.
|> 
|> D'ou mon probleme : je n'arrive pas a implanter cela sous METAL.
|> PPML et TYPOL, cela marche. Mais je n'arrive pas a gerer efficement
|> dans la grammaire (syntaxe concrete) le passage a un nouveau formalisme.
|> 
|> 
|> D'ou ma question : (resume)
|>    Comment indiquer a METAL qu'une partie du formalisme de L fait
|> partie du formalisme F (pour l'analyse grammaticale et autre)

Il n'y a (pour l'instant) pas de modularite dans Metal. Au niveau de la syntaxe
abstraite seule existe la possibilite de porte (operateurs "implemented as
TREE"). Il n'y a rien de prevu pour la grammaire concrete. Seules ont existees
quelques experiences bricolees.


For our english readers: The question is about modularity in Metal. One would
like to include a subpart of L into an other formalism F.

There is no modularity now in Metal. The only possibility (for the abstract
syntax) is to use a door (an operator "implemented as TREE"). There is nothing
possible for the concrete syntax, even if some experiments have been done in the
past.

-- 
Send contributions and compliments to centaur@sophia.inria.fr. Registration
and administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+