Use este identificador para citar o ir al link de este elemento:
http://hdl.handle.net/1843/RVMR-65VJKR| Tipo: | Tese de Doutorado |
| Título: | Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
| Autor(es): | Cristiano Damiani Vasconcellos |
| primer Tutor: | Carlos Camarao de Figueiredo |
| primer Co-tutor: | Lucília Camarão de Figueiredo |
| primer miembro del tribunal : | André Luis de Medeiros Santos |
| Segundo miembro del tribunal: | Lucilia Camarão de Figueiredo |
| Tercer miembro del tribunal: | Roberto ierusalimchy |
| Cuarto miembro del tribunal: | Mariza Andrade da Silva Bigonha |
| Quinto miembro del tribunal: | Roberto da Silva Bigonha |
| Resumen: | Este trabalho aborda o problema da inferência de tipos com definições sobrecarregadas, apresentando uma revisão do sistema de tipos CT. Esse sistema é uma extensão do sistema proposto por Damas-Milner com suporte para sobrecarga de nomes, onde restrições de tipo são usadas em tipos polimórficos para indicar restrições de instanciação desses tipos, de acordo com definições sobrecarregadas existentes. a inferência de tipos nesse sistema envolve a resolução para o problema da satisfazibilidade de restrições, que trata de decidir se um dado conjunto de restrições de um tipo polimórfico é válido ou não, em um determinado contexto de tipos. Políticas para resolução de sobrecarga muito restritirvas têm sido adotadas para garantir a deibilidade deste problemas. O sistema CT adota uma política de resolução de sobrecarga muito menos restritiva que as presentes em sistemas de tipos similares. As principais contribuições desse trabalho são: uma definição formal do problema de satisfazibilidade de restrições independente das regras de derivação do sistema de tipos, apresentação de um algoritmo para a solução desse problema e a implementação de um protótipo que demonstra que a adoção de uma política de sobrecarga menos restritiva pode funcionar bem na prática. Nos testes realizados com a implementação desse algoritmo, usando código similar a programas implemtnados em Haskell, não foi encotnrada nenhuma situação em que a satisfazibilidade das restrições não pode ser decidida. Para estes casos é utilizado um limite de iteração para interromper o processo e rejeitar a expressão, indicando a ocorrência de um erro de tipo. |
| Asunto: | Linguagem de programação (Computadores) Computação |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Institución: | UFMG |
| Tipo de acceso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/RVMR-65VJKR |
| Fecha del documento: | 1-oct-2004 |
| Aparece en las colecciones: | Teses de Doutorado |
archivos asociados a este elemento:
| archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| cristiano_damiani.pdf | 550.49 kB | Adobe PDF | Visualizar/Abrir |
Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.