Skip to Main content Skip to Navigation
Reports

Conformance of agents in the Eiffel language

Philippe Ribet Cyril Adrian Olivier Zendra 1 Dominique Colnet 1
1 DESIGN - DESIGN
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
Complete list of metadatas

https://hal.inria.fr/inria-00071652
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:24:29 PM
Last modification on : Tuesday, April 24, 2018 - 1:32:41 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:31:28 PM

Identifiers

  • HAL Id : inria-00071652, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

348

Files downloads

369