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 , 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.
Type de document :
Rapport
RR-2732, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00073962
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:10:49
Dernière modification le : mercredi 31 janvier 2018 - 10:24:04
Document(s) archivé(s) le : jeudi 24 mars 2011 - 13:30:29

Fichiers

Identifiants

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

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

113