Data/hora: 21/06/2024 00:54:14

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	19/02/1998	
Data da última atualização: 	20/09/2007	
Autoria: 	VALENTE, M. T. de O.; BIGONHA, R. da S.	
Título: 	Covariancia x contravariancia: a solução de Ita.	
Ano de publicação: 	1996	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.	
Páginas: 	p.333-345	
Idioma: 	Português	
Conteúdo: 	Uma questão importante no projeto do sistema de tipos de uma linguagem orientada por objetos e determinar como a assinatura de um método pode ser redefinida em uma subclasse. Existem tres possibilidades, chamadas de regras da contravariancia, da invariancia ou da covariancia. A regra da contravariancia, adotada em Sather, e a que garante a correção do sistema de tipos. Ja covariancia, adotada em Eiffel, apesar de mais flexivel, permite a formação de expressões com erros de tipo de dificil detecção. Para solucionar este impasse entre contravariancia e covariancia, propõe-se uma nova regra, chamada de contravariancia guardada, implementada na linguagem Ita. Tal regra defende o uso de verificação dinâmica de tipos ao estilo de Oberon-2.	
Palavras-Chave: 	Linguagens de programação; Programming languages.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (6635-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS