[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: (No Subject)
- Subject: Re: (No Subject)
- From: ia@trinidad.inria.fr (Isabelle Attali)
- Date: 3 Feb 1994 11:08:13 +0100
We have specified the dynamic semantics of Eiffel version 2 using Centaur/Typol
and produced an animated interpreter from these specifications.
A paper reports on this work:
Attali I., Caromel D., Oudshoorn M.
``A Formal Definition of the Dynamics Semantics of the Eiffel Language",
ACSC'93, Feb 93, Brisbane, Australia.
also I3S Report 92.52.
Isabelle Attali
INRIA Sophia Antipolis