Inferência de tipos com suporte para sobrecarga baseada no sistema CT

Página do item simplificado
dc.creatorCristiano Damiani Vasconcellos
dc.date.accessioned2019-08-14T02:38:30Z
dc.date.accessioned2025-09-09T01:11:43Z
dc.date.available2019-08-14T02:38:30Z
dc.date.issued2004-10-01
dc.identifier.urihttps://hdl.handle.net/1843/RVMR-65VJKR
dc.languagePortuguês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectLinguagem de programação (Computadores)
dc.subjectComputação
dc.subject.otherSistemas de tipos
dc.subject.otherSobrecarga
dc.subject.otherPolimorfismo
dc.subject.otherLinguagens de programação
dc.subject.otherInferência de tipos
dc.titleInferência de tipos com suporte para sobrecarga baseada no sistema CT
dc.typeTese de doutorado
local.contributor.advisor-co1Lucília Camarão de Figueiredo
local.contributor.advisor1Carlos Camarao de Figueiredo
local.contributor.referee1André Luis de Medeiros Santos
local.contributor.referee1Lucilia Camarão de Figueiredo
local.contributor.referee1Roberto ierusalimchy
local.contributor.referee1Mariza Andrade da Silva Bigonha
local.contributor.referee1Roberto da Silva Bigonha
local.description.resumoEste 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.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
cristiano_damiani.pdf
Tamanho:
550.49 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em Ciência da Computação - Teses

Logo UFMG