Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/RVMR-65VJKR
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor1 | Carlos Camarao de Figueiredo | pt_BR |
dc.contributor.advisor-co1 | Lucília Camarão de Figueiredo | pt_BR |
dc.contributor.referee1 | André Luis de Medeiros Santos | pt_BR |
dc.contributor.referee2 | Lucilia Camarão de Figueiredo | pt_BR |
dc.contributor.referee3 | Roberto ierusalimchy | pt_BR |
dc.contributor.referee4 | Mariza Andrade da Silva Bigonha | pt_BR |
dc.contributor.referee5 | Roberto da Silva Bigonha | pt_BR |
dc.creator | Cristiano Damiani Vasconcellos | pt_BR |
dc.date.accessioned | 2019-08-14T02:38:30Z | - |
dc.date.available | 2019-08-14T02:38:30Z | - |
dc.date.issued | 2004-10-01 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/1843/RVMR-65VJKR | - |
dc.description.resumo | 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. | pt_BR |
dc.language | Português | pt_BR |
dc.publisher | Universidade Federal de Minas Gerais | pt_BR |
dc.publisher.initials | UFMG | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Sistemas de tipos | pt_BR |
dc.subject | Sobrecarga | pt_BR |
dc.subject | Polimorfismo | pt_BR |
dc.subject | Linguagens de programação | pt_BR |
dc.subject | Inferência de tipos | pt_BR |
dc.subject.other | Linguagem de programação (Computadores) | pt_BR |
dc.subject.other | Computação | pt_BR |
dc.title | Inferência de tipos com suporte para sobrecarga baseada no sistema CT | pt_BR |
dc.type | Tese de Doutorado | pt_BR |
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.