Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/RVMR-65VJKR
Type: | Tese de Doutorado |
Title: | Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
Authors: | Cristiano Damiani Vasconcellos |
First Advisor: | Carlos Camarao de Figueiredo |
First Co-advisor: | Lucília Camarão de Figueiredo |
First Referee: | André Luis de Medeiros Santos |
Second Referee: | Lucilia Camarão de Figueiredo |
Third Referee: | Roberto ierusalimchy |
metadata.dc.contributor.referee4: | Mariza Andrade da Silva Bigonha |
metadata.dc.contributor.referee5: | Roberto da Silva Bigonha |
Abstract: | 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. |
Subject: | Linguagem de programação (Computadores) Computação |
language: | Português |
Publisher: | Universidade Federal de Minas Gerais |
Publisher Initials: | UFMG |
Rights: | Acesso Aberto |
URI: | http://hdl.handle.net/1843/RVMR-65VJKR |
Issue Date: | 1-Oct-2004 |
Appears in Collections: | Teses de Doutorado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
cristiano_damiani.pdf | 550.49 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.