Biblioteca Digital da UFMG

Título:  Inferência de tipos com suporte para sobrecarga baseada no sistema CT Autor:  Cristiano Damiani Vasconcellos Carlos Camarao de Figueiredo Lucília Camarão de Figueiredo Palavra-chave:  Computação Teses. Linguagem de programação (Computadores) Teses. Data de Publicação:  1-Out-2004 Publicador:  UFMG 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 ... URI:  http://hdl.handle.net/1843/RVMR-65VJKR Aparece nas Coleções: Teses de Doutorado Arquivos neste Item: Arquivo Tamanho Formato cristiano_damiani.pdf 550Kb Adobe PDF Ver/Abrir

Mostrar registro completo

Por favor utilize este identificador para citar ou criar um link para esse item: http://hdl.handle.net/1843/RVMR-65VJKR

Todos os itens no Opus são protegidos por copyright, com todos os direitos reservados.