inria-00071652, version 1
Conformance of agents in the Eiffel language
Philippe RibetCyril AdrianOlivier Zendra
1Dominique Colnet
1
N° RR-4927 (2003)
Résumé : In Eiffel, the notion of agent makes it possible to describe and manipulate computation parts (i.e. operations) like ordinary data. Operations may be partially described, may be passed as ordinary data and may have their execution delayed. Agents are very convenient for many purposes, such as going through data structures and implementing call-backs in graphical libraries. Although they can be seen as normal objects, they convey specific issues, pertaining to standard conformance rules for generic types. To get rid of existing problems, this paper proposes an adaptation of conformance rules for agents that provides much more flexibility while retaining all the benefits of a strong static typing system.
- 1 : DESIGN (LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Autre
- Mots-clés : Eiffel – Smarteiffel – agents – typing – conformance
- Référence interne : RR-4927
- Commentaire : Projet DESIGN
- inria-00071652, version 1
- http://hal.inria.fr/inria-00071652
- oai:hal.inria.fr:inria-00071652
- Contributeur : Rapport De Recherche Inria
- Soumis le : Mardi 23 Mai 2006, 18:24:29
- Dernière modification le : Vendredi 2 Mars 2007, 09:59:37






Documents associés

Exporter