An Operational Semantics for the Eiffel Language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1995

An Operational Semantics for the Eiffel Language


This paper formally describes the dynamic semantic of the Eiffel language (Eiffel parallel). Eiffel is a parallel extension of Eiffel language based on passive and active objects, asynchronous communication and wait-by-necessity. In this semantics we use formal specifications of inheritance and dynamic binding which we have defined in Natural Semantics for the Eiffel language. While in the framework of Natural Semantics (big-step semantics), we specify the \ep\/ semantics in the SOS style (small-step semantics). >From this specification we automatically generate a programming environment for Eiffel.
Fichier principal
Vignette du fichier
RR-2732.pdf (456.45 Ko) Télécharger le fichier

Dates and versions

inria-00073962 , version 1 (24-05-2006)


  • HAL Id : inria-00073962 , version 1


Isabelle Attali, Denis Caromel, Sidi Ould Ehmety. An Operational Semantics for the Eiffel Language. RR-2732, INRIA. 1995. ⟨inria-00073962⟩
97 View
121 Download


Gmail Facebook Twitter LinkedIn More