Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Conformance of agents in the Eiffel language

Philippe Ribet Cyril Adrian Olivier Zendra 1 Dominique Colnet 1 
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 6:24:29 PM
Last modification on : Thursday, October 27, 2022 - 4:02:25 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:31:28 PM


  • HAL Id : inria-00071652, version 1


Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet. Conformance of agents in the Eiffel language. [Research Report] RR-4927, INRIA. 2003, pp.19. ⟨inria-00071652⟩



Record views


Files downloads