Skip to Main content Skip to Navigation

An Operational Semantics for the Eiffel Language

Isabelle Attali 1 Denis Caromel 2 Sidi Ould Ehmety
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
2 SLOOP - Simulation, Object Oriented Languages and Parallelism
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:10:49 PM
Last modification on : Monday, October 12, 2020 - 10:30:26 AM
Long-term archiving on: : Thursday, March 24, 2011 - 1:30:29 PM


  • 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⟩



Record views


Files downloads