Abstract

BARRON-ESTRADA, María Lucía  and  STANSIFER, Ryan. Herencia, Genéricos y Métodos Binarios en Java. Comp. y Sist. [online]. 2003, vol.7, n.2, pp.113-122. ISSN 2007-9737.

El lenguaje de programación Java ha adoptado un mecanismo para definir tipos parametrizados, el cual estará disponible para los usuarios en la próxima versión de su compilador. La primera especificación formal para incluir genéricos en Java fue publicada hace dos años y una nueva versión el pasado mes de Junio del 2003. En esta especificación, se propone extender el sistema de tipos basandose en el sistema de cuantificación restringida F (F-Bounded quantification) con el fin de soportar directamente polimorfismo paramétrico en Java. Un método binario en aquel que contiene uno o más parámetros del mismo tipo del objeto que recibe el mensaje. El polimorfismo basado en el sistema de restricción F y los métodos binarios no pueden ser combinados en forma sencilla en aquellos lenguajes de programación orientados a objectos que contienen un sistema de tipos nominal y basan la selección del metodo a ejecutar solo en el tipo del objeto que recibe el mensaje. En este articulo, se presentan algunos problemas que aparecen en la implementación de programas en Java cuando es necesario definir clases e interfaces parametrizadas.

Keywords : métodos binarios; herencia; Java; tipos parametrizados; genéricos.

        · abstract in English     · text in English     · English ( pdf )