Conformance of agents in the Eiffel language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2003

Conformance of agents in the Eiffel language

Philippe Ribet
  • Function : Author
Cyril Adrian
  • Function : Author
Olivier Zendra
Dominique Colnet


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-4927.pdf (231.55 Ko) Télécharger le fichier

Dates and versions

inria-00071652 , version 1 (23-05-2006)


  • 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⟩
138 View
156 Download


Gmail Facebook X LinkedIn More