Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073962
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

Identifiers

  • HAL Id : inria-00073962, version 1

Collections

Citation

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

Share

Metrics

Record views

252

Files downloads

197