Re: recherche informations

[ia@trinidad.inria.fr (Isabelle Attali)]

In his message, Jawad DRISSI was asking any information about use of Centaur 
for the specification of object-oriented languages.

With Denis Caromel (University of Nice) we described an interpreter for Eiffel
(in fact not exactly full Eiffel) using Centaur.

We have a Metal grammar, a PPML unparser and a Typol specification for dynamic
semantics. We also provide some tools for debugging 
(we show the current method, the current object, ...)

A paper reports on this experiment.

A graduate student is currently working on completing the specification to get 
full Eiffel dynamic semantics and also improving the environment.

Isabelle Attali
INRIA Sophia Antipolis