An Operational Semantics for the Eiffel Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1995

An Operational Semantics for the Eiffel Language

Résumé

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 et versions

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

Identifiants

  • HAL Id : inria-00073962 , version 1

Citer

Isabelle Attali, Denis Caromel, Sidi Ould Ehmety. An Operational Semantics for the Eiffel Language. RR-2732, INRIA. 1995. ⟨inria-00073962⟩
101 Consultations
129 Téléchargements

Partager

Gmail Facebook X LinkedIn More