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

Cristiano Damiani Vasconcellos

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

Show simple item record